Summary goes here

Xehetasun bibliografikoak

Formatua:	Liburua
Hizkuntza:	ingelesa
Gaiak:	Kowalski, Robert. Logic programming. Automatic theorem proving. Logic programming languages.
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!