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 3151651 obálek a 950616 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Higher Order Logic Theorem Proving and Its Applications : 7. international workshop Valletta, Malta, September 19-22, 1994. Proceedings / Edited by Thomas F. Melham, Juanito Camilleri
Autor: Melham, T. F.
Rok: 1994
ISBN: 9783540584506
NKP-CNB: aba013-000010852
OKCZID: 129423809
Anotace
This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.
Zdroj anotace: OKCZ - ANOTACE Z WEBU