Advances in computing science
: proceedings / ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8 - 10, 1998. Jieh Hsiang ; Atsushi Ohori (ed.). - Berlin : Springer, 1998. - X, 304 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1538)
ISBN 978-3-540-65388-2 / 3-540-65388-0 kart. DM 74.00
Literaturangaben
Quelle: DNB
Advances in computing science
: proceedings / ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 1998. J. Hsiang ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1538)
ISBN 978-3-540-49366-2
Lizenzpflichtig
Quelle: DNB
Heinz, Birgit: Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
/ Birgit Heinz. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1996. - 174 S. : graph. Darst.; 24 cm - (GMD-Bericht; Nr. 261)
ISBN 978-3-486-23873-0 / 3-486-23873-6 kart. : DM 51.00
Quelle: DNB
Artificial intelligence and symbolic computation
: proceedings / International Conference AISC '98, Plattsburgh, New York, USA, September 1998. J. Calmet ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1476 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49816-2
Lizenzpflichtig
Quelle: DNB
Artificial intelligence and symbolic computation
: 8th international conference ; proceedings / AISC 2006, Beijing, China, September 20 - 22, 2006. Jacques Calmet ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4120 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39730-4
Lizenzpflichtig
Quelle: DNB
Artificial intelligence and symbolic computation
: 8th international conference ; proceedings / AISC 2006, Beijing, China, September 20 - 22, 2006. Jacques Calmet ... (ed.). - Berlin : Springer, 2006. - XIII, 268 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4120 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39728-1 / 3-540-39728-0 kart. : EUR 48.15 (freier Pr.), ca. sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Artificial intelligence, automated reasoning, and symbolic computation
: joint international conferences ; proceedings / AISC 2002 ..., Marseille, France, July 1 - 5, 2002. J. Calmet ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2385 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45470-0
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7 - 10, 1999. Harald Ganzinger (ed.). - Berlin : Springer, 1999. - XIV, 428 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1632 : Lecture notes in artificial intelligence)
ISBN 978-3-540-66222-8 / 3-540-66222-7 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. M. A. McRobbie ; J. K. Slaney (ed.). - Berlin : Springer, 1996. - XV, 764 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1104 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61511-8 / 3-540-61511-3 kart. : DM 142.00
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003. Franz Baader (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2741 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45085-6
Lizenzpflichtig
Quelle: DNB
