Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science. Lecture notes in artificial intelligence
3249 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Artificial intelligence and symbolic computation, 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004, proceedings, Bruno Buchberger, John A. Campbell (eds.), Berlin, Springer, 2004, 1 vol. (X-284 p.), Lecture notes in computer science, 3-540-23212-5 • Artificial Intelligence and Symbolic Computation, Texte imprimé, 9783662199640 |
সূচিপত্রের সারণি:
- 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.