Applied proof theory
: proof interpretations and their use in mathematics / U. Kohlenbach. - Berlin : Springer, 2008. - Online-Ressource - (Springer monographs in mathematics)
ISBN 978-3-540-77533-1
Lizenzpflichtig
Quelle: DNB
Kohlenbach, Ulrich: Applied proof theory: proof interpretations and their use in mathematics
/ U. Kohlenbach. - Berlin : Springer, 2008. - XIX, 532 S.; 24 cm, 960 gr. - (Springer monographs in mathematics)
ISBN 978-3-540-77532-4 Pp. : EUR 74.85 (freier Pr.), sfr 122.00 (freier Pr.)
Literaturverz. S. 507 - 523
Quelle: DNB Verlagsmeldungen
[Automated reasoning]
: [second international joint conference ; proceedings] / [IJCAR 2004, Cork, Ireland, July 4 - 8, 2004. Ed.: David Basin ...]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3097] : [Lecture notes in artificial intelligence])
ISBN 978-3-540-25984-8
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
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
Automated reasoning
: 4th international joint conference ; proceedings / IJCAR 2008, Sydney, Australia, August 12 - 15, 2008. Alessandro Armando ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5195 : Lecture notes in artificial intelligence)
ISBN 978-3-540-71070-7
Lizenzpflichtig
Quelle: DNB
Automated reasoning
: third international joint conference ; proceedings / IJCAR 2006, Seattle, WA, USA, August 17 - 20, 2006. Ulrich Furbach ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4130 : Lecture notes in artificial intelligence)
ISBN 978-3-540-37188-5
Lizenzpflichtig
Quelle: DNB
Computational logic and proof theory
: proceedings / Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993. Georg Gotttlob ... (ed.). - Berlin : Springer, 1993. - XI, 348 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 713)
ISBN 978-3-540-57184-1 / 3-540-57184-1 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Heindorf, Lutz: Elementare Beweistheorie
/ von Lutz Heindorf. - Mannheim : BI-Wiss.-Verl., 1994. - 240 S.; 21 cm
ISBN 978-3-411-17161-3 / 3-411-17161-8 kart. : DM 29.80, sfr 29.80, S 233.00
Quelle: DNB
Logic and computational complexity
: selected papers / International Workshop LCC '94, Indianapolis, IN, USA, October 13 - 16, 1994. Daniel Leivant (ed.). - Berlin : Springer, 1995. - VIII, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 960)
ISBN 978-3-540-60178-4 / 3-540-60178-3 kart. : DM 102.00
Literaturangaben
Quelle: DNB
Nonclassical logics and information processing
: international workshop Berlin, Germany, November 9 - 10, 1990 ; proceedings / D. Pearce ; H. Wansing (ed.). - Berlin : Springer, 1992. - 171 S.; 25 cm - (Lecture notes in computer science; Vol. 619 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55745-6 / 3-540-55745-8 kart. : DM 46.00
Literaturangaben
Quelle: DNB
