From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
Dominique Snyers; André Thayse
Verkäufer dsmbooks, Liverpool, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 28. September 2015
Gebraucht - Softcover
Anzahl: 1 verfügbar
In den Warenkorb legen