Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3151204 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Part I
Rok: 2002
ISBN: 9783540439592
OKCZID: 110092124
Citace (dle ČSN ISO 690):
KAKAS, Antonis C., ed. a SADRI, Fariba, ed. Computational logic: logic programming and beyond : essays in honour of Robert A. Kowalski. Berlin: Springer, 2002. xii, 675 s. Lecture notes in computer science. Lecture notes in artificial intelligence, 2407.
Anotace
Spans the whole field of computational logic seen from the point of view of logic programming. Topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field.