Dominique Snyers Andre Thayse Snyers From Logic Design to Logic Programming

From Logic Design to Logic Programming

von Dominique Snyers Andre Thayse

Theorem Proving Techniques and P-Functions

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Dominique Snyers

Themen in »From Logic Design to Logic Programming«

declarative programming grammars logic programming semantics theorem proving

Stimmen zu »From Logic Design to Logic Programming«

Details

ISBN: 9783540182177
Verlag: Springer Berlin
Erscheinung: 12.08.1987

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden