Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings / Nicola Olivetti (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4548 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73099-6
Lizenzpflichtig
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2005, Koblenz, Germany, September 14 - 17, 2005 ; proceedings / Bernhard Beckert (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; Vol. 3702 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31822-4
Lizenzpflichtig
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: international conference ; tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings / [International Conference Tableaux]. Didier Galmiche (ed.). - Berlin : Springer, 1997. - XI, 372 S.; 24 cm - (Lecture notes in computer science; Vol. 1227 : Lecture notes in artificial intelligence)
ISBN 978-3-540-62920-7 / 3-540-62920-3 kart. : DM 82.00
Literaturangaben
Quelle: DNB
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
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
