[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
Kienzler, Wolfgang: Begriff und Gegenstand
: eine historische und systematische Studie zur Entwicklung von Gottlob Freges Denken / Wolfgang Kienzler. - Frankfurt, M. : Klostermann, 2009. - 403 S.; 24 cm - (Philosophische Abhandlungen; Bd. 98)
ISBN 978-3-465-03638-8 kart. : EUR 49.00
Quelle: DNB
Beiträge zu Leibniz' Rezeption der aristotelischen Logik und Metaphysik
/ herausgegeben von Juan-Antonio Nicolás und Niels Öffenberger. - Hildesheim : Georg Olms Verlag, 2016. - 420 Seiten; 21 cm - (Zur modernen Deutung der Aristotelischen Logik; Band 12)
ISBN 978-3-487-15238-7 / 3-487-15238-X Broschur : EUR 68.00 (DE), EUR 70.00 (AT)
Auswahl der Vorträge auf dem 2. Ibero-Amerikanischen Kongress zu Leibniz 2014 in Granada - Vorwort
Quelle: DNB
Beiträge zum Satz vom Widerspruch und zur aristotelischen Prädikationstheorie
/ hrsg. von Niels Öffenberger und Mirko Skarica. - Hildesheim : Olms, 2000. - VII, 377 S.; 21 cm - (Zur modernen Deutung der Aristotelischen Logik; Bd. 8)
ISBN 978-3-487-11172-8 / 3-487-11172-1 kart. : DM 78.00
Literaturangaben. - Beitr. teilw. dt., teilw. engl.
Quelle: DNB
Computation and logic in the real world
: proceedings / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18 - 23, 2007. S. Barry Cooper ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4497)
ISBN 978-3-540-73001-9
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 14th international workshop ; proceedings / CSL 2000, Fischbachau, Germany, August 21 - 26, 2000. Peter G. Clote ; Helmut Schwichtenberg (ed.). - Berlin : Springer, 2000. - XIII, 541 S. : graph. Darst.; 24 cm - (Annual conference of the EACSL; 9)
ISBN 978-3-540-67895-3 / 3-540-67895-6 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Computer science logic
: proceedings / 17th International Workshop CSL 2003 ; 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003. Matthias Baaz ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Annual conference of the EACSL ...; 12)
ISBN 978-3-540-45220-1
Lizenzpflichtig
Quelle: DNB
