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

Summary goes here

Guardat en:

Dades bibliogràfiques
Format:	Llibre
Idioma:	anglès
Matèries:	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.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!