Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings
-
- Englisch ausgewählt
-
Auflage:Softcover reprint of the original 1st edition 2004
51,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
10.09.2004
Abbildungen
X, 27 illus., schwarz-weiss Illustrationen
Herausgeber
Bruno Buchberger + weitereVerlag
Springer BerlinSeitenzahl
294
Maße (L/B/H)
23,5/15,5/1,7 cm
Gewicht
960 g
Auflage
Softcover reprint of the original 1st edition 2004
Sprache
Englisch
ISBN
978-3-540-23212-4
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice