Beschreibung: From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

Summary goes here

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	Englisch
Schlagworte:	Automatic theorem proving. Computer algorithms. Logic programming. Algorithms algorithms. Automatic theorem proving Computer algorithms Logic programming Formale Semantik Logischer Entwurf Programmierlogik Automatisches Beweisverfahren Logisch programmeren. Algorithms. Logic design. Programmation logique. Algorithmes. Structure logique.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!