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

Wo zu kaufen (3) Eigenschaften
Gesponsert
From Logic Design to Logic Programming
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 11:44:00
Siehe Produktangebot
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: 28-10-2026 22:07:48
Siehe Produktangebot
Gesponsert
From Logic Design to Logic Programming
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:03
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)
Aus115.64 EUR 4
Produkt anzeigen
Disruptive Logic Architectures and Technologies: From Device to System Level
Disruptive Logic Architectures and Technologies: From Device to System Level
Aus101.64 EUR 4
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)
Aus53.49 EUR 4
Produkt anzeigen
Reversible Logic Synthesis: From Fundamentals to Quantum Computing
Reversible Logic Synthesis: From Fundamentals to Quantum Computing
Aus105.84 EUR 3
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 3
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)
Aus37.44 EUR 3
Produkt anzeigen
Menü