Conferences in DBLP
Markus Rosenkranz The Algorithmization of Physics: Math Between Science and Engineering. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:1-7 [Conf ] Zbigniew Stachniak Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:8-14 [Conf ] Helmut Schwichtenberg Proof Search in Minimal Logic. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:15-25 [Conf ] Alan Bundy Planning and Patching Proof. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:26-37 [Conf ] Jørgen Villadsen A Paraconsistent Higher Order Logic. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:38-51 [Conf ] Peep Küngas Abstraction Within Partial Deduction for Linear Logic. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:52-65 [Conf ] Olga Tveretina A Decision Procedure for Equality Logic with Uninterpreted Functions. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:66-79 [Conf ] Andreas Dolzmann , Lorenz A. Gilch Generic Hermitian Quantifier Elimination. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:80-93 [Conf ] Jian Zhang , Hantao Zhang Extending Finite Model Searching with Congruence Closure Computation. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:94-102 [Conf ] Christelle Scharff , Leo Bachmair On the Combination of Congruence Closure and Completion. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:103-117 [Conf ] Laurent Granvilliers , Mina Ouabiba Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:118-131 [Conf ] Tetsuo Ida , Dorin Tepeneu , Bruno Buchberger , Judit Robu Proving and Constraint Solving in Computational Origami. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:132-142 [Conf ] Mohamed El-bachir Menai An Evolutionary Local Search Method for Incremental Satisfiability. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:143-156 [Conf ] Temur Kutsia Solving Equations Involving Sequence Variables and Sequence Functions. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:157-170 [Conf ] Inmaculada Medina-Bulo , Francisco Palomo-Lozano , José A. Alonso-Jiménez , José-Luis Ruiz-Reina Verified Computer Algebra in Acl2. Gröbner Bases Computation. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:171-184 [Conf ] Nao Hirokawa , Aart Middeldorp Polynomial Interpretations with Negative Coefficients. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:185-198 [Conf ] Tom Kelsey , Steve Linton , Colva M. Roney-Dougal New Developments in Symmetry Breaking in Search Using Computational Group Theory. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:199-210 [Conf ] Alexei D. Miasnikov Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:211-221 [Conf ] Jesús Aransay , Clemens Ballarin , Julio Rubio Four Approaches to Automated Reasoning with Differential Algebraic Structures. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:222-235 [Conf ] Bruno Buchberger Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:236-250 [Conf ] Eugenio Roanes-Lozano , E. López-Vidriero Jr. , Luis M. Laita , E. López-Vidriero , Victor Maojo , Eugenio Roanes-Macías An Expert System on Detection, Evaluation and Treatment of Hypertension. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:251-264 [Conf ] Mahat Khelfallah , Belaid Benhamou Two Revision Methods Based on Constraints: Application to a Flooding Problem. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:265-270 [Conf ] David Déharbe , Abdessamad Imine , Silvio Ranise Abstraction-Driven Verification of Array Programs. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:271-275 [Conf ] Björn Gottfried Singularities in Qualitative Reasoning. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:276-280 [Conf ] Serge Mechveliani From a Computer Algebra Library to a System with an Equational Prover. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:281-284 [Conf ]