TY  - BOOK
AU  - Buchberger,Bruno
AU  - Campbell,John
ED  - SpringerLink (Online service)
TI  - Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540302100
AV  - Q334-342 
U1  - 006.3 23
PY  - 2004///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Electronic data processing
KW  - Computational complexity
KW  - Algebra
KW  - Data processing
KW  - Artificial intelligence
KW  - Computer Science
KW  - Artificial Intelligence (incl. Robotics)
KW  - Symbolic and Algebraic Manipulation
KW  - Numeric Computing
KW  - Discrete Mathematics in Computer Science
KW  - Mathematical Logic and Formal Languages
N1  - Invited Presentations -- The Algorithmization of Physics: Math Between Science and Engineering -- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search -- Proof Search in Minimal Logic -- Planning and Patching Proof -- Papers -- A Paraconsistent Higher Order Logic -- Abstraction Within Partial Deduction for Linear Logic -- A Decision Procedure for Equality Logic with Uninterpreted Functions -- Generic Hermitian Quantifier Elimination -- Extending Finite Model Searching with Congruence Closure Computation -- On the Combination of Congruence Closure and Completion -- Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques -- Proving and Constraint Solving in Computational Origami -- An Evolutionary Local Search Method for Incremental Satisfiability -- Solving Equations Involving Sequence Variables and Sequence Functions -- Verified Computer Algebra in Acl2 -- Polynomial Interpretations with Negative Coefficients -- New Developments in Symmetry Breaking in Search Using Computational Group Theory -- Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks -- Four Approaches to Automated Reasoning with Differential Algebraic Structures -- Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy -- An Expert System on Detection, Evaluation and Treatment of Hypertension -- Short Presentations -- Two Revision Methods Based on Constraints: Application to a Flooding Problem -- Abstraction-Driven Verification of Array Programs -- Singularities in Qualitative Reasoning -- From a Computer Algebra Library to a System with an Equational Prover
UR  - http://dx.doi.org/10.1007/b100361
ER  -