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 (3) Eigenschaften
Gesponsert
Computational Logic and Proof Theory
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-11-2026 17:24:55
Siehe Produktangebot
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: 10-11-2026 04:23:04
Siehe Produktangebot
Gesponsert
Computational Logic and Proof Theory
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:04:00
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)
Aus148.64 EUR 4
Produkt anzeigen
Model-Based Reasoning in Science and Technology
Model-Based Reasoning in Science and Technology
Aus213.99 EUR 3
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)
Aus47.98 EUR 3
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)
Aus53.49 EUR 3
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)
Aus53.49 EUR 3
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)
Aus143.84 EUR 1
Produkt anzeigen
Menü