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.
Temporal logic : first international conference ICTL '94 Bonn, Germany, July 11-14, 1994 : proceedings
Rok: 1994
ISBN: 9780387582412
ISBN: 9783540582410
OKCZID: 110103533
Citace (dle ČSN ISO 690):
GABBAY, Dov M., ed. a OHLBACH, Hans Jürgen, ed. Temporal logic: first international conference ICTL '94 Bonn, Germany, July 11-14, 1994 : proceedings. New York: Springer, 1994. XI, 545 s. Lecture notes in artificial intelligence. Lecture notes in computer science, 827.
Anotace
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.