From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)

Wo zu kaufen (2) Eigenschaften
Gesponsert
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 22-08-2026 11:02:36
Siehe Produktangebot
Gesponsert
From Logic Design to Logic Programming
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 22-08-2026 13:26:34
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540182179
MPN
Springer Berlin Heidelberg bibliography

Eigenschaften

Ähnliche Produkte

The Experience Logic as a New Perspective for Marketing Management: From Theory to Practical Applications in Different Sectors (International Series in Advanced Management Studies)
The Experience Logic as a New Perspective for Marketing Management: From Theory to Practical Applications in Different Sectors (International Series in Advanced Management Studies)
Produkt anzeigen
Disruptive Logic Architectures and Technologies: From Device to System Level
Disruptive Logic Architectures and Technologies: From Device to System Level
Produkt anzeigen
Reversible Logic Synthesis: From Fundamentals to Quantum Computing
Reversible Logic Synthesis: From Fundamentals to Quantum Computing
Produkt anzeigen
Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay (Studies in Universal Logic)
Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay (Studies in Universal Logic)
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
Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut ... Notes in Computer Science, 171, Band 171)
Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut ... Notes in Computer Science, 171, Band 171)
Produkt anzeigen
Menü