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

Gesponsert
53.49 EUR
Preis aktualisiert am: 24-04-2026 08:30:10

Allgemein

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

Eigenschaften

Menü