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)

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

An Introduction to Queueing Theory
ανά: Bunday, Brian D.
Έκδοση: (1996)

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

Spin glass theory and beyond
ανά: Mezard, Marc, κ.ά.
Έκδοση: (1987)

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

The design and analysis of algorithms
ανά: Kozen, Dexter C.
Έκδοση: (1992)

Μάθετε το SuSE Linux σε 24 ώρες
ανά: Ball, Bill
Έκδοση: (2000)

Poisson Approximation
ανά: Barbour, A. D., κ.ά.
Έκδοση: (1992)

Verifying temporal properties of systems
ανά: Bradfield, Julian Charles
Έκδοση: (1992)

FrontPage 98 bible
ανά: Elderbrock, David, κ.ά.
Έκδοση: (1998)

Algorithms A functional programming approach
ανά: Rabhi, Fethi, κ.ά.
Έκδοση: (1999)

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

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