Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

Main Author: Buchberger, Bruno
Other Authors: Campbell, John A
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
LEADER 01358nmm a2200361 u 4500
001 EB000286987
003 EBX01000000000000000052671
005 00000000000000.0
007 cr|||||||||||||||||||||
008 101003 |||
020 |a 9783540232124 
020 |a 978-3-540-23212-4 
100 1 |a Buchberger, Bruno 
245 0 0 |a Artificial Intelligence and Symbolic Computation  |h Elektronische Ressource  |b 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings  |c by Bruno Buchberger, John A Campbell 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2004 
300 |b v. digital 
700 1 |a Campbell, John A 
989 |b LNCS  |a Lecture Notes in Computer Science 
490 0 |a Lecture Notes in Computer Science 
856 |u http://dx.doi.org/10.1007/b100361?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004 
650 4 |a Algebra_xData processing 
650 4 |a Artificial intelligence 
650 4 |a Computational complexity 
650 4 |a Computer science 
650 4 |a Electronic data processing 
650 4 |a Computer Science 
650 4 |a Artificial Intelligence (incl. Robotics) 
650 4 |a Discrete Mathematics in Computer Science 
650 4 |a Mathematical Logic and Formal Languages 
650 4 |a Numeric Computing 
650 4 |a Symbolic and Algebraic Manipulation