Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... Notes in Computer Science, 1289, Band 1289)

5th Kurt
Wo zu kaufen (2) Eigenschaften
Gesponsert
Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... Notes in Computer Science, 1289, Band 1289)
Medimops DE
53.49 EUR
Preis aktualisiert am: 25-04-2026 22:54:28
Siehe Produktangebot
Gesponsert
Computational Logic and Proof Theory
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 26-04-2026 02:00:29
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 7007565
ISBN
Springer Berlin Heidelberg 9783540633853

Eigenschaften

Ähnliche Produkte

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines (Studies in Computational Intelligence, Band 24)
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines (Studies in Computational Intelligence, Band 24)
Produkt anzeigen
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)
Produkt anzeigen
Computational Logic and Proof Theory: Third Kurt Gdel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gdel ... Notes in Computer Science (713), Band 713)
Computational Logic and Proof Theory: Third Kurt Gdel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gdel ... Notes in Computer Science (713), Band 713)
Produkt anzeigen
Model-Based Reasoning in Science and Technology
Model-Based Reasoning in Science and Technology
Produkt anzeigen
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers (Lecture Notes in Computer Science, 960, Band 960)
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers (Lecture Notes in Computer Science, 960, Band 960)
Produkt anzeigen
Recursion Theory: Computational Aspects of Definability (De Gruyter Series in Logic and Its Applications, 8)
Recursion Theory: Computational Aspects of Definability (De Gruyter Series in Logic and Its Applications, 8)
Produkt anzeigen
Menü