Types for proofs and programs
: selected papers / International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Henk Barendregt ; Tobias Nipkow (ed.). - Berlin : Springer, 1994. - 383 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 806)
ISBN 978-3-540-58085-0 / 3-540-58085-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Types for proofs and programs
: selected papers ; international Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 / [International Workshop TYPES '95]. Stefano Berardi ... (ed.). - Berlin : Springer, 1996. - X, 296 S.; 24 cm - (Lecture notes in computer science; Vol. 1158)
ISBN 978-3-540-61780-8 / 3-540-61780-9 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Types for proofs and programs
: selected papers / International Workshop TYPES '94, B°astad, Sweden, June 6 - 10, 1994. Peter Dybjer ... (ed.). - Berlin : Springer, 1995. - X, 202 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 996)
ISBN 978-3-540-60579-9 / 3-540-60579-7 kart. : DM 54.00
Literaturangaben
Quelle: DNB
Types for proofs and programs
: international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24 - 28, 2002 ; selected papers / Herman Geuvers ; Freek Wiedijk (ed.). - Berlin : Springer, 2003. - VIII, 330 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2646)
ISBN 978-3-540-14031-3 / 3-540-14031-X kart. : EUR 49.22
Literaturangaben
Quelle: DNB
Types for proofs and programs
: international workshop, types 2006, Nottingham, UK, April 18 - 21, 2006 ; revised selected papers / Thorsten Altenkirch ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4502)
ISBN 978-3-540-74464-1
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop, types 2006, Nottingham, UK, April 18 - 21, 2006 ; revised selected papers / Thorsten Altenkirch ; Conor McBride (ed.). - Berlin : Springer, 2007. - VIII, 268 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4502)
ISBN 978-3-540-74463-4 / 3-540-74463-0 kart. : EUR 48.15 (freier Pr.), ca. sfr 78.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
