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)

And Proof Theory Third Kurt
Wo zu kaufen (3) Eigenschaften
Gesponsert
Computational Logic and Proof Theory
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-11-2026 15:19:30
Siehe Produktangebot
Gesponsert
Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... Notes in Computer Science, 713, Band 713)
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-11-2026 04:22:59
Siehe Produktangebot
Gesponsert
Computational Logic and Proof Theory
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:06:29
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

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: 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)
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)
Aus53.49 EUR 3
Produkt anzeigen
Computational Logic in Multi-Agent Systems
Computational Logic in Multi-Agent Systems
Aus57.22 EUR 3
Produkt anzeigen
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) (Studies in Computational Intelligence (860), Band 860)
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) (Studies in Computational Intelligence (860), Band 860)
Aus131.99 EUR 2
Produkt anzeigen
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II
Aus153.50 EUR 1
Produkt anzeigen
Menü