Automated reasoning
: second international joint conference ; proceedings / IJCAR 2004, Cork, Ireland, July 4 - 8, 2004. David Basin ; Michaël Rusinowitch (ed.). - Berlin : Springer, 2004. - XII, 491 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3097 : Lecture notes in artificial intelligence)
ISBN 978-3-540-22345-0 / 3-540-22345-2 kart. : EUR 68.48 (freier Pr.), sfr 113.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
