Summary goes here

Bibliographische Detailangaben

Format:	Buch
Sprache:	Englisch
Schlagworte:	Kowalski, Robert. Logic programming. Automatic theorem proving. Logic programming languages.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!