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.
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
Rok: 1998
ISBN: 9783540646754
OKCZID: 110061431
Citace (dle ČSN ISO 690):
KIRCHNER, Claude, ed. a KIRCHNER, Hélene, ed. Automated deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings. Berlin: Springer, 1998. xiv, 441 s. Lecture notes in computer science, 1421.
Anotace
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.