Prehofer, Christian: Solving higher order equations
: from logic to programming / Christian Prehofer. - Boston : Birkhäuser, 1998. - VII, 186 S.; 24 cm - (Progress in theoretical computer science)
ISBN 978-3-7643-4032-2 / 3-7643-4032-0 Kunststoff : sfr 118.00
Quelle: DNB
Bittel, Oliver: Ein tableaubasierter Theorembeweiser für die intuitionistische Logik
/ Oliver Bittel. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 184 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 198)
ISBN 978-3-486-22143-5 / 3-486-22143-4 kart. : ca. DM 50.00
Literaturverz. S. 179 - 182
Quelle: DNB
Li, Wanlin: Tableau, Tableauresolution und Tableaugraphresolution
: ein neuer Weg zur automatischen Deduktion / Wanlin Li. - Frankfurt am Main : Lang, 1991. - 107 S. : graph. Darst.; 21 cm - (Europäische Hochschulschriften : Reihe 41, Informatik; Bd. 6)
ISBN 978-3-631-44001-8 / 3-631-44001-4 kart. : sfr 35.00 (freier Pr.)
Quelle: DNB
Graf, Peter: Term indexing
/ Peter Graf. - Berlin : Springer, 1996. - XIV, 284 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1053 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61040-3 / 3-540-61040-5 kart. : DM 62.00
Literaturverz. S. 275 - 280
Quelle: DNB
Theorem provers in circuit design
: theory, practice and experience ; second international conference, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings / TPCD '94. Ramayya Kumar ; Thomas Kropf (ed.). - Berlin : Springer, 1995. - VIII, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 901)
ISBN 978-3-540-59047-7 / 3-540-59047-1 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Theorem proving in higher order logics
: 17th international conference ; proceedings / TPHOLs 2004, Park City, Utah, USA, September 14 - 17, 2004. Konrad Slind ... (ed.). - Berlin : Springer, 2004. - VIII, 336 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3223)
ISBN 978-3-540-23017-5 / 3-540-23017-3 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theorem proving in higher order logics
: 16th international conference ; proceedings / TPHOLs 2003, Rome, Italy, September 8 - 12, 2003. David Basin ; Burkhart Wolff (ed.). - Berlin : Springer, 2003. - X, 366 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2758)
ISBN 978-3-540-40664-8 / 3-540-40664-6 kart. : EUR 53.50 (freier Pr.), sfr 86.00
Literaturangaben
Quelle: DNB
Theorem proving in higher order logics
: 16th international conference ; proceedings / TPHOLs 2003, Rome, Italy, September 8 - 12, 2003. David Basin ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2758)
ISBN 978-3-540-45130-3
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 15th international conference ; proceedings / TPHOLs 2002, Hampton, VA, USA, August 20 - 23, 2002. V. A. Carreño (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2410)
ISBN 978-3-540-45685-8
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 14th international conference ; proceedings / TPHOLs 2001, Edinburgh, Scotland UK, September 3 - 6, 2001. R. J. Boulton ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2152)
ISBN 978-3-540-44755-9
Lizenzpflichtig
Quelle: DNB
