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 2936857 obálek a 892456 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings

Rok: 2002
ISBN: 9783540439295
OKCZID: 110074726

Citace (dle ČSN ISO 690):
EGLY, UWE, 1960-, ed. a FERMÜLLER, C., ed. Automated reasoning with analytic tableaux and related methods: international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings. Berlin: Springer, 2002. X, 339 s. Lecture notes in computer science. Lecture notes in artificial intelligence, 2381.


Anotace

Upravit anotaci
 

Proceedings of the Intl Conference, TABLEAUX 2002, held July 30-August 1, 2002 in Copenhagen, Denmark. Softcover.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)