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 3150311 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logic Programming: The 1997 International Symposium (Logic Programming)
Rok: 1997
ISBN: 9780262631808
OKCZID: 110090609
Citace (dle ČSN ISO 690):
MAŁUSZYŃSKI, Jan, ed. Logic programming: proceedings of the 1997 International Symposium : International Logic Programming Symposium ILPS '97 : Port Washington, Long Island, NY, October 13-September 16, 1997. Cambridge: MIT Press, c1997. xvi, 425 s.
Anotace
The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Topics include theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet. Logic Programming series, Research Reports and Notes