Schumann, Johann M. Ph.: Automated theorem proving in software engineering
/ Johann M. Schumann. Foreword by Donald Loveland. - Berlin : Springer, 2001. - XIV, 228 S. : graph. Darst.; 25 cm
ISBN 978-3-540-67989-9 / 3-540-67989-8 Pp. : DM 79.00
Literaturverz. S. 203 - 220
Quelle: DNB
Walther, Christoph: Automatisierung von Terminierungsbeweisen
/ Christoph Walther. Hrsg. von Wolfgang Bibel. - Braunschweig : Vieweg, 1991. - IX, 253 S.; 23 cm - (Künstliche Intelligenz)
ISBN 978-3-528-04771-9 / 3-528-04771-2 kart. : DM 68.00
Quelle: DNB
Plaisted, David A.: The efficiency of theorem proving strategies
: a comparative and asymptotic analysis / David A. Plaisted ; Yunshan Zhu. - Braunschweig : Vieweg, 1997. - VI, 167 S. : Ill.; 21 cm - (Computational intelligence)
ISBN 978-3-528-05574-5 / 3-528-05574-X kart. : DM 98.00
Literaturverz. S. 155 - 160
Quelle: DNB
Plaisted, David A.: The efficiency of theorem proving strategies
: a comparative and asymptotic analysis / David A. Plaisted ; Yunshan Zhu. - 2., rev. ed. - Braunschweig : Vieweg, 1999. - VIII, 170 S. : graph. Darst.; 21 cm - (Computational intelligence)
ISBN 978-3-528-15574-2 / 3-528-15574-4 kart. : DM 58.00
Literaturverz. S. 157 - 163
Quelle: DNB
Burghardt, Jochen: Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion
/ Jochen Burghardt. - München : Oldenbourg, 1993. - 246 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 212)
ISBN 978-3-486-22687-4 / 3-486-22687-8 kart. : DM 62.00
Quelle: DNB
Meisinger, Günter: Flag numbers and quotients of convex polytopes
/ Günter Meisinger. - Weiden : Schuch, 1994. - IV, 127 S. : graph. Darst.; 21 cm
ISBN 978-3-926931-19-1 / 3-926931-19-1 kart. : DM 68.00
Quelle: DNB
Formal correctness of security protocols
: with 4 tables / Giampaolo Bella. - Berlin : Springer, 2007. - Online-Ressource - (Information security and cryptography)
ISBN 978-3-540-68136-6
Lizenzpflichtig
Quelle: DNB
Formal methods for hardware verification
: advanced lectures / 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006. Marco Bernardo ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3965)
ISBN 978-3-540-34305-9
Lizenzpflichtig
Quelle: DNB
Foundations of knowledge representation and reasoning
/ Gerhard Lakemeyer ; Bernhard Nebel (ed.). - Berlin : Springer, 1994. - VIII, 355 S.; 24 cm - (Lecture notes in computer science; 810 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58107-9 / 3-540-58107-3 kart. : DM 72.00
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
