Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

From Logic Design to Logic Programming

Andre Thayse
,
Dominique Snyers
(0)
Erste Bewertung abgeben
Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.-...

Tiefpreis

CHF84.80

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.

Inhalt
Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.

Produktinformationen

Titel:
From Logic Design to Logic Programming
Untertitel:
Theorem Proving Techniques and P-Functions
Autor:
Andre Thayse
,
Dominique Snyers
EAN:
9783540182177
ISBN:
3540182179
Format:
Kartonierter Einband
Herausgeber:
Springer Berlin Heidelberg
Genre:
Informatik
Veröffentlichung:
12.08.1987
Anzahl Seiten:
134
Gewicht:
216g
Größe:
H235mm x B155mm x T8mm
Jahr:
1987
Untertitel:
Englisch
Auflage:
1987

Mehr entdecken: IT & Informatik

Allgemein & Lexika, Anwendungs-Software, Informatik, Programmiersprachen