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.
Artificial Intelligence and Symbolic Mathematical Computation :International conference, AISMC-3, Steyr, Austria, September 23-25, 1996. Proceedings
Rok: 1996
ISBN: 9770302974002
ISBN: 9783540617327
OKCZID: 110071690
Citace (dle ČSN ISO 690):
CALMET, Jacques, ed., CAMPBELL, J. A., ed. a PFALZGRAF, Jochen, ed. Artificial Intelligence and Symbolic Mathematical Computation: International conference, AISMC-3, Steyr, Austria, September 23-25, 1996. Proceedings. Berlin: Springer-Verlag, 1996. VIII, 379 s. Lecture notes in computer science, 1138.
Anotace
This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996. The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.