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 3158401 obálek a 951255 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 Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues)
Rok: 2008
ISBN: 9783540680840
OKCZID: 110095610
Citace (dle ČSN ISO 690):
MICULAN, Marino, ed., SCAGNETTO, Ivan, ed. a HONSELL, Furio, ed. Types for proofs and programs: international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers. 1st ed. New York: Springer, 2008. vi, 202 s. Lecture notes in computer science, 4941.
Anotace
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.