Types for proofs and programs
: international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (ed.) - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3839)
ISBN 978-3-540-31429-5
Lizenzpflichtig
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
Word equations and related topics
: proceedings / 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1 - 3, 1990. K. U. Schulz (ed.). - Berlin : Springer, 1992. - 256 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 572)
ISBN 978-3-540-55124-9 / 3-540-55124-7 kart. : DM 58.00
Literaturangaben
Quelle: DNB
Word equations and related topics
: proceedings / Second International Workshop, IWWERT '91, Rouen, France, October 7 - 9, 1991. Habib Abdulrab ; Jean-Pierre Pécuchet (ed.). - Berlin : Springer, 1993. - 214 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 677)
ISBN 978-3-540-56730-1 / 3-540-56730-5 kart. : DM 52.00
Literaturangaben
Quelle: DNB
Zimmer, Ralf Martin: Zur Pragmatik eines operationalisierten λ-Kalküls als Basis für interaktive Reduktionssysteme
/ Ralf Martin Zimmer. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 422 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung mbH; Nr. 192)
ISBN 978-3-486-21956-2 / 3-486-21956-1 kart. : ca. DM 100.00
Quelle: DNB
