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.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... / Lecture Notes in Artificial Intelligence)
Rok: 2002
ISBN: 9783540438656
OKCZID: 110093291
Citace (dle ČSN ISO 690):
CALMET, Jacques, ed. Artificial intelligence, automated reasoning, and symbolic computation: joint international conference, AISC 2002 and Calculemus 2002, Marseille, France July 1-5, 2002 : proceedings. Berlin: Springer, c2002. xi, 341 s. Lecture notes in computer science. Lecture notes in artificial intelligence, v. 2385.
Anotace
Proceedings of the Joint Intl Conference, AISC 2002 and Calculemus 2002, held July 1-5, 2002 in Marseille, France. Softcover.