Automated deduction in classical and non-classical logic
: selected papers / Ricardo Caferra ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1761 : Lecture notes in artificial intelligence)
ISBN 978-3-540-46508-9
Lizenzpflichtig
Quelle: DNB
Automated deduction in geometry
: third international workshop ; revised papers / ADG 2000, Zurich, Switzerland, September 25 - 27, 2000. J. Richter-Gebert ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2061 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45410-6
Lizenzpflichtig
Quelle: DNB
Automated deduction in geometry
: proceedings / ADG'98, Beijing, China, August 1998. X.-S. Gao ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1669 : Lecture notes in artificial intelligence)
ISBN 978-3-540-47997-0
Lizenzpflichtig
Quelle: DNB
Automated deduction in geometry
: 5th international workshop ; revised papers / ADG 2004, Gainesville, FL, USA, September 16 - 18, 2004. Hoon Hong ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3763 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31363-2
Lizenzpflichtig
Quelle: DNB
Automated deduction in geometry
: selected papers / International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996. Dongming Wang (ed.). - Berlin : Springer, 1998. - 234 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1360 : Lecture notes in artificial intelligence)
ISBN 978-3-540-64297-8 / 3-540-64297-8 kart. : DM 58.00
Literaturangaben
Quelle: DNB
Nayak, P. Pandurang: Automated modelling of physical systems
/ P. Pandurang Nayak. - Berlin : Springer, 1995. - XX, 232 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1003 : Lecture notes in artificial intelligence)
ISBN 978-3-540-60641-3 / 3-540-60641-6 kart. : DM 58.00
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
: first international joint conference ; proceedings / IJCAR 2001, Siena, Italy, June 18 - 22, 2001. R. Goré ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2083 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45744-2
Lizenzpflichtig
Quelle: DNB
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
