Abstract is missing.
- The Algorithmization of Physics: Math Between Science and EngineeringMarkus Rosenkranz. 1-7 [doi]
- Finite Algebras and AI: From Matrix Semantics to Stochastic Local SearchZbigniew Stachniak. 8-14 [doi]
- Proof Search in Minimal LogicHelmut Schwichtenberg. 15-25 [doi]
- Planning and Patching ProofAlan Bundy. 26-37 [doi]
- A Paraconsistent Higher Order LogicJørgen Villadsen. 38-51 [doi]
- Abstraction Within Partial Deduction for Linear LogicPeep Küngas. 52-65 [doi]
- A Decision Procedure for Equality Logic with Uninterpreted FunctionsOlga Tveretina. 66-79 [doi]
- Generic Hermitian Quantifier EliminationAndreas Dolzmann, Lorenz A. Gilch. 80-93 [doi]
- Extending Finite Model Searching with Congruence Closure ComputationJian Zhang, Hantao Zhang. 94-102 [doi]
- On the Combination of Congruence Closure and CompletionChristelle Scharff, Leo Bachmair. 103-117 [doi]
- Combination of Nonlinear Terms in Interval Constraint Satisfaction TechniquesLaurent Granvilliers, Mina Ouabiba. 118-131 [doi]
- Proving and Constraint Solving in Computational OrigamiTetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu. 132-142 [doi]
- An Evolutionary Local Search Method for Incremental SatisfiabilityMohamed El-bachir Menai. 143-156 [doi]
- Solving Equations Involving Sequence Variables and Sequence FunctionsTemur Kutsia. 157-170 [doi]
- Verified Computer Algebra in Acl2. Gröbner Bases ComputationInmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina. 171-184 [doi]
- Polynomial Interpretations with Negative CoefficientsNao Hirokawa, Aart Middeldorp. 185-198 [doi]
- New Developments in Symmetry Breaking in Search Using Computational Group TheoryTom Kelsey, Steve Linton, Colva M. Roney-Dougal. 199-210 [doi]
- Recognition of Whitehead-Minimal Elements in Free Groups of Large RanksAlexei D. Miasnikov. 211-221 [doi]
- Four Approaches to Automated Reasoning with Differential Algebraic StructuresJesús Aransay, Clemens Ballarin, Julio Rubio. 222-235 [doi]
- Algorithm-Supported Mathematical Theory Exploration: A Personal View and StrategyBruno Buchberger. 236-250 [doi]
- An Expert System on Detection, Evaluation and Treatment of HypertensionEugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías. 251-264 [doi]
- Two Revision Methods Based on Constraints: Application to a Flooding ProblemMahat Khelfallah, Belaid Benhamou. 265-270 [doi]
- Abstraction-Driven Verification of Array ProgramsDavid Déharbe, Abdessamad Imine, Silvio Ranise. 271-275 [doi]
- Singularities in Qualitative ReasoningBjörn Gottfried. 276-280 [doi]
- From a Computer Algebra Library to a System with an Equational ProverSerge Mechveliani. 281-284 [doi]