Deductive program design ; [proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26 - August 7, 1994]
/ ed. by Manfred Broy. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1996. - VIII, 467 S. : Ill., graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 152)
ISBN 978-3-540-60947-6 / 3-540-60947-4 Pp. : DM 178.00
Literaturangaben
Quelle: DNB
Bibel, Wolfgang: Deduktion
: Automatisierung der Logik / von Wolfgang Bibel. Unter Mitarb. von Steffen Hölldobler. Mit einem Übungsteil von Gerd Neugebauer. - München : Oldenbourg, 1992. - 269 S. : graph. Darst.; 25 cm - (Handbuch der Informatik; Bd. 6.2)
ISBN 978-3-486-20785-9 / 3-486-20785-7 Kunststoff
Literaturverz. S. 239 - 254
Quelle: DNB
Deduktionssysteme
: Automatisierung des logischen Denkens / hrsg. von K. H. Bläsius und H.-J. Bürckert. Mit Beitr. von K. H. Bläsius .... - 2., völlig überarb. und erw. Aufl. - München : Oldenbourg, 1992. - VIII, 290 S. : graph. Darst.; 24 cm
ISBN 978-3-486-22033-9 / 3-486-22033-0 kart.
Literaturangaben
Quelle: DNB
Frontiers of combining systems
: 4th international workshop ; proceedings / FroCoS 2002, Santa Margherita Ligure, Italy, April 8 - 10, 2002. A. Armando (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2309 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45988-0
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: 6th international symposium ; proceedings / FroCoS 2007, Liverpool, UK, September 10 - 12, 2007. Boris Konev ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4720 : Lecture notes in artificial intelligence)
ISBN 978-3-540-74621-8
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: 5th international workshop ; proceedings / FroCoS 2005, Vienna, Austria, September 19 - 21, 2005. Bernhard Gramlich (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3717)
ISBN 978-3-540-31730-2
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: third international workshop ; proceedings / FroCoS 2000, Nancy, France, March 22 - 24, 2000. Hélène Kirchner ; Christophe Ringeissen (ed.). - Berlin : Springer, 2000. - X, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1794 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67281-4 / 3-540-67281-8 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Prospects for hardware foundations
: survey chapters / ESPRIT Working Group 8533 NADA - New Hardware Design Methods. Bernhard Möller ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1546)
ISBN 978-3-540-49254-2
Lizenzpflichtig
Quelle: DNB