Summary goes here

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:Englisch
Schlagworte:
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.