Semantics and Logic of Computation

Semantics and Logic of Computation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Dybjer, Peter (Επιμελητής έκδοσης), Pitts, A. M. (Andrew M.) (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge University Press
Σειρά:	Publications of the Newton Institute 14
Θέματα:	Υπολογισμός Υπολογιστική ΕΣΑ

Παρόμοια τεκμήρια

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
ανά: Gramss, Tino
Έκδοση: (1998)

Handbook of proof theory
Έκδοση: (1998)

A computational logic handbook
ανά: Boyer, Robert, κ.ά.
Έκδοση: (1998)

A Computational Logic Handbook
ανά: Moore, J. Strother, κ.ά.
Έκδοση: (1988)

Solving higher-order equations From logic to programming
ανά: Prehofer, Christian
Έκδοση: (1998)

Optimization and Computational Logic
ανά: McAloon, Ken, κ.ά.
Έκδοση: (1996)

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Quantum computing and communications
Έκδοση: (1999)

Introduction to automata theory, languages, and computation
ανά: Hopcroft, John E., κ.ά.
Έκδοση: (1979)

Computation Finite and infinite machines
ανά: Minsky, Marvin L. 1927-2016
Έκδοση: (1967)

Computation Finite and infinite machines
ανά: Minsky, Marvin L. 1927-2016
Έκδοση: (1972)

Journal of Sympolic Computation
Έκδοση: (1985)

Information and Computation
Έκδοση: (1987)

Equations, models, and programs A mathematical introduction to computer science
ανά: Myers, Thomas J.
Έκδοση: (1988)

Theory of computation formal languages, automata, and complexity
ανά: Brookshear, J. Glenn
Έκδοση: (1989)

Simulated Annealing and Boltzmann Machines A stochastic approach to cambinatorial optimization and neural computing
ανά: Aarts, E. H. L. (Emile H. L.), κ.ά.
Έκδοση: (1989)

Logic for computer science Foundations of automatic theorem proving
ανά: Gallier, Jean H.
Έκδοση: (1987)

Communications, computation, control and signal processing A tribute to Thomas Kailath
Έκδοση: (1997)

Logic and computation Interactive Proof with Cambridge LCF
ανά: Paulson, Lawrence C.
Έκδοση: (1987)

Parallel and distributed computation Numerical methods
ανά: Μπερτσέκας, Δημήτρης Π., κ.ά.
Έκδοση: (1989)

Foundations of logic programming
ανά: Lloyd, J. W. 1947- (John Wylie)
Έκδοση: (1984)

Logic programming and knowledge engineering
ανά: Amble, Tore
Έκδοση: (1987)

Discrete Mathematics in Computer Science
ανά: McAllister, David F., κ.ά.
Έκδοση: (1977)

Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987
Έκδοση: (1987)

Logic in Computer Science (1988) Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland
Έκδοση: (1988)

Semantics of Programming Languages
ανά: Tennent, R. D.
Έκδοση: (1991)

The nonlinear workbook Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Fuzzy Logic with C++, Java, Symbolic C++ and Reduce Programs
ανά: Steeb, Willi-Hans
Έκδοση: (2001)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

Logic in Computer Science (1986) Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986
Έκδοση: (1986)

High-order operational techniques in semantics
Έκδοση: (1998)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Έκδοση: (1993)

Foundations of Disjunctive Logic Programming
ανά: Lobo, Jorge, κ.ά.
Έκδοση: (1992)

Journal of Scientific Computing
Έκδοση: (1986)

Computer algebra with symbolic C++
ανά: Hardy, Yorick, 1976-
Έκδοση: (2008)

Elements of the theory of computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1998)

Numerical Methods for Ordinary Differential Equations Initial Value Problems
ανά: Griffiths, David F
Έκδοση: (2010)

Modern cellular automata Theory and applications
ανά: Duff, M. J. B., κ.ά.
Έκδοση: (1984)

From logic programming to prolog
Έκδοση: (1997)

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών