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

Summary goes here

Salvato in:

Dettagli Bibliografici
Natura:	Libro
Lingua:	inglese
Soggetti:	Kowalski, Robert. Automatic theorem proving. Logic programming. Logic programming languages.
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

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.