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 3151204 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science)
Autor: Callaghan, Paul.
Rok: 2002
ISBN: 9783540432876
OKCZID: 110095007
Citace (dle ČSN ISO 690):
CALLAGHAN, Paul, ed. Types for proofs and programs: international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers. Berlin: Springer, c2002. viii, 242 s. Lecture notes in computer science, v. 2277.
Anotace
Papers from the International Workshop, TYPES 2000, held December 8-12, 2000 in Durham, UK. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Softcover.