Dominique Snyers - From Logic Design To Logic Programming: Theorem Proving Techniques And P-functions (lecture Notes In Computer Science)
Brand: Dominique Snyers -
EAN:
9783540182177MPN: m03540182179
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1987, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 134, publicationDate : 2008-06-13, authors : Dominique Snyers, André Thayse, languages : english, ISBN : 3540182179
Preise vergleichen ab:
Dominique Snyers - in Bücher & Zeitschriften