Thiemann, Peter: Grundlagen der funktionalen Programmierung
/ von Peter Thiemann. - Stuttgart : Teubner, 1994. - 348 S. : graph. Darst.; 23 cm - (Leitfäden der Informatik)
ISBN 978-3-519-02137-7 / 3-519-02137-4 kart. : DM 44.00, sfr 44.00, S 343.00
Literaturverz. S. 321 - 337
Quelle: DNB
Erwig, Martin: Grundlagen funktionaler Programmierung
/ von Erwig Martin. - München : Oldenbourg, 1999. - 192 S.; 24 cm
ISBN 978-3-486-25100-5 / 3-486-25100-7 kart. : DM 48.00, EUR 25,54
Literaturverz. S. 179 - 183
Quelle: DNB
Implementation of functional languages
: 11th international workshop ; selected papers / IFL '99, Lochem, The Netherlands, September 7 - 10, 1999. Pieter Koopman ; Chris Clack (ed.). - Berlin : Springer, 2000. - VII, 198 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1868)
ISBN 978-3-540-67864-9 / 3-540-67864-6 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Implementation of functional languages
: 9th international workshop ; selected papers / IFL '97, St. Andrews, Scotland, UK, September 1997. C. Clack ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1467)
ISBN 978-3-540-68528-9
Lizenzpflichtig
Quelle: DNB
Implementation of functional languages
: 9th international workshop ; selected papers / IFL '97, St. Andrews, Scotland, UK, September 10 - 12, 1997. Chris Clack ... (ed.). - Berlin : Springer, 1998. - X, 374 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1467)
ISBN 978-3-540-64849-9 / 3-540-64849-6 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Inductive synthesis of functional programs
: universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid. - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2654)
ISBN 978-3-540-44846-4
Lizenzpflichtig
Quelle: DNB
Schmid, Ute: Inductive synthesis of functional programs
: universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid. - Berlin : Springer, 2003. - XXII, 398 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2654)
ISBN 978-3-540-40174-2 / 3-540-40174-1 kart. : EUR 57.78
Literaturverz. S. 327 - 340
Quelle: DNB
Isabelle, HOL
: a proof assistant for higher order logic / T. Nipkow .... - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2283)
ISBN 978-3-540-45949-1
Lizenzpflichtig
Quelle: DNB
Nipkow, Tobias: Isabelle, HOL
: a proof assistant for higher order logic / Tobias Nipkow ; Lawrence C. Paulson ; Markus Wenzel. - Berlin : Springer, 2002. - XIII, 218 S.; 24 cm - (Lecture notes in computer science; Vol. 2283)
ISBN 978-3-540-43376-7 / 3-540-43376-7 kart. : EUR 32.10
Literaturverz. S. 209 - 211
Quelle: DNB
Principles of declarative programming
: 10th international symposium ; proceedings / PLILP '98, held jointly with the 6th International Conference ALP '98, Pisa, Italy, September 1998. C. Palamidessi ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1490)
ISBN 978-3-540-49766-0
Lizenzpflichtig
Quelle: DNB
