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 (2) Eigenschaften
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: 20-06-2026 02:08:55
Siehe Produktangebot
Gesponsert
Computer Science Logic
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 19-06-2026 18:49:16
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)
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
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)
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)
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)
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)
Produkt anzeigen
Menü