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
Clack, Chris: Programmieren in MIRANDA
/ Clack ; Myers ; Spoon. - München : Prentice Hall, 1996. - 335 S.; 24 cm
ISBN 978-3-8272-9503-3 / 3-8272-9503-3 Pp. : DM 49.00, sfr 46.00, S 363.00
Aus dem Engl. übers. - Literaturverz. S. 323 - 327
Quelle: DNB
Abelson, Harold: Struktur und Interpretation von Computerprogrammen
: eine Informatik-Einführung / Harold Abelson und Gerald J. Sussman. Mit Julie Sussman. Vorw. von Alan J. Perlis. Übers. von Susanne Daniels-Herold. - 3., überarb. Aufl. - Berlin : Springer, 1998. - XXIII, 682 S. : Ill., graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-63898-8 / 3-540-63898-9 kart. : DM 79.00, sfr 72.00, S 577.00, ffr 298.00, L 30.50, lire 87250.00, $ 42.70
Literaturverz. S. 641 - 645
Quelle: DNB
Abelson, Harold: Struktur und Interpretation von Computerprogrammen
: eine Informatik-Einführung / Harold Abelson und Gerald Jay Sussman. Mit Julie Sussman. Vorw. von Alan J. Perlis. Übers. von Susanne Daniels-Herold. - 4., durchges. Aufl. - Berlin : Springer, 2001. - XXIII, 682 S. : Ill., graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-42342-3 / 3-540-42342-7 kart. : DM 89.90
Literaturverz. S. 641 - 645
Quelle: DNB