Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008. The 19 revised full papers presented we...

Celý popis

Podrobná bibliografie

Další autoři:	Berardi, Stefano (Editor) Damiani, Ferruccio (Editor)  de’Liguoro, Ugo (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	TYPES 2008 (Turín, Itálie)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2009
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-02444-3 978-3-642-02443-6 3-642-02443-2
Témata:	informatika počítače programování programovací jazyky umělá inteligence robotika počítačová simulace matematická logika formální jazyky
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!