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 3152121 obálek a 950676 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logic programming and nonmonotonic reasoning : Third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995. Proceedings
Rok: 1995
ISBN: 9783540594871
OKCZID: 110094942
Citace (dle ČSN ISO 690):
MAREK, V. W., ed., NERODE, A., ed. a TRUSZCZYNSKI, M., ed. Logic programming and nonmonotonic reasoning: Third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995. Proceedings. Berlin: Springer-Verlag, 1995. VIII, 415 s. Lecture notes in computer science, 928.
Anotace
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.