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 3152128 obálek a 950683 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Automated deduction - CADE-18 : 18th international conference on automated deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Rok: 2002
ISBN: 9783540439318
OKCZID: 110043621
Citace (dle ČSN ISO 690):
VORONKOV, Andrei, ed. Automated deduction - CADE-18: 18th international conference on automated deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings. Berlin: Springer, 2002. XII, 534 s. Lecture notes in computer science. Lecture notes in artificial intelligence, 2392.
Anotace
Proceedings of the 18th Intl Conference on Automated Deduction, held July 27-30, 2002 in Copenhagen, Denmark. Offers topical sections on description logics and the semantic Web, model generation, CASC, equational reasoning, and proof theory. Softcover.