Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science, 702, Band 702)

Computer Science Logic
Wo zu kaufen (3) Eigenschaften
Gesponsert
Computer Science Logic
Hugendubel
53.49 EUR
Preis aktualisiert am: 06-10-2026 04:38:06
Siehe Produktangebot
Gesponsert
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science, 702, Band 702)
Medimops DE
53.49 EUR
Preis aktualisiert am: 09-10-2026 05:17:16
Siehe Produktangebot
Gesponsert
Computer Science Logic
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 09-10-2026 19:32:53
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 1
ISBN
Springer Berlin Heidelberg 3540569928

Eigenschaften

Ähnliche Produkte

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Aus60.37 EUR 3
Produkt anzeigen
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)
Aus37.44 EUR 3
Produkt anzeigen
Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 (Progress in Computer Science and Applied Logic, 9, Band 9)
Feasible Mathematics: "A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989" (Progress in Computer Science and Applied Logic, 9, Band 9)
Aus48.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 2
Produkt anzeigen
Inductive Logic Programming: 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings (Lecture Notes in Computer Science, 1634, Band 1634)
Inductive Logic Programming: 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings (Lecture Notes in Computer Science, 1634, Band 1634)
Aus53.49 EUR 2
Produkt anzeigen
Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm: 8th International Workshop, FPL'98 Tallinn, Estonia, August 31
Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm: 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - ... Notes in Computer Science, 1482, Band 1482)
Aus53.49 EUR 2
Produkt anzeigen
Menü