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

Summary goes here

Gorde:

Xehetasun bibliografikoak
Formatua:	Liburua
Hizkuntza:	ingelesa
Gaiak:	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.
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!