Internformat: Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.).

Summary goes here

Gespeichert in:

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

era
format	Book
genre
geographic
id	8aaef9c1-e0de-40ef-b0ba-8af54217a95c
isbn	9783540439592 (pt. I : softcover : alk. paper) 9783540439608 (pt. II : softcover : alk. paper)
issn
language	eng
physical	2 volumes :illustrations ;24 cm
publication	– publisher: Springer dateOfPublication: ©2002
publishDate	©2002
subjects
title	Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.).
topic	Kowalski, Robert. Automatic theorem proving. Logic programming. Logic programming languages.