Handbook of proof theory

Handbook of proof theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Buss, Samuel R. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Amsterdam Elsevier 1998
Σειρά:	Studies in logic and the foundations of mathematics. volume 137
Θέματα:	ΕΣΑ Υπολογισμός HANDBOOK

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

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

Semantics and Logic of Computation

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

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

Handbook of Graphs and Networks From the Genome to the Internet
Έκδοση: (2003)

Handbook of Discrete and Combinatorial Mathematics
Έκδοση: (2000)

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

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

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

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

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

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

The Psychology of Proof Deductive Reasoning in Human Thinking
ανά: Rips, Lance J.
Έκδοση: (1994)

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

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

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

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

Rainbow handbook
Έκδοση: (1983)

Digital/logic electronics handbook
ανά: Hunter, William L.
Έκδοση: (1975)

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

Handbook of Massive Data Sets
Έκδοση: (2002)

A Textbook of Graph Theory
ανά: Balakrishnan, R. (Rangaswami), κ.ά.
Έκδοση: (2000)

Game Theory A nontechnical introduction
ανά: Davis, Morton D.
Έκδοση: (1983)

A course in game theory
ανά: Osborne, Martin J., κ.ά.
Έκδοση: (1994)

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

Graph theory
ανά: Diestel, Reinhard
Έκδοση: (2000)

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

Handbook of industrial robotics
ανά: Nof, Shimon Y., 1946-
Έκδοση: (1985)

Telecommunications Technology Handbook
ανά: Minoli, Daniel 1952-
Έκδοση: (1991)

Handbook of writing for engineers
ανά: Van Emden, Joan
Έκδοση: (1990)

VLSI handbook Silicon, gallium Arsenide, and superconductor circuits
Έκδοση: (1989)

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
ανά: Zwiers, J.
Έκδοση: (1989)

Microelectronics Packaging Handbook Subsystems Packaging
Έκδοση: (1997)

RTTY handbook
Έκδοση: (1972)

Wireless Networking Handbook
ανά: Geier, Jim
Έκδοση: (1996)

Signal processing Handbook
Έκδοση: (1988)

Raster graphics handbook
Έκδοση: (1985)

VAX hardware handbook
Έκδοση: (1980)

Newnes electronics assembly handbook Techniques, standards and quality assurance
ανά: Brindley, Keith
Έκδοση: (1990)

VAX software handbook
Έκδοση: (1980)

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