Abstract is missing.
- Constraint AcquisitionEugene C. Freuder. 1 [doi]
- Expressiveness and Complexity of Full First-Order Constraints in the Algebra of TreesAlain Colmerauer. 2-3 [doi]
- Deduction versus Computation: The Case of InductionEric Deplagne, Claude Kirchner. 4-6 [doi]
- Integration of Quantifier Elimination with Constraint Logic ProgrammingThomas Sturm. 7-11 [doi]
- Towards a Hybrid Symbolic/Numeric Computational Approach in Controller DesignMadhu Chetty. 12-25 [doi]
- Inductive Synthesis of Functional ProgramsEmanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki. 26-37 [doi]
- A Symbolic Computation-Based Expert System for Alzheimer s Disease DiagnosisBegoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita. 38-50 [doi]
- On a Generalised Logicality TheoremMarc Aiguier, Diane Bahrami, Catherine Dubois. 51-63 [doi]
- Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued LogicElena Smirnova. 64-75 [doi]
- The Wright omega FunctionRobert M. Corless, David J. Jeffrey. 76-89 [doi]
- Multicontext Logic for Semigroups of ContextsRolf Nossum, Luciano Serafini. 90-101 [doi]
- Indefinite Integration as a Testbed for Developments in Multi-agent SystemsJohn A. Campbell. 102-116 [doi]
- Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient OptimisationAndrew Hunter. 117-127 [doi]
- A Novel Face Recognition MethodLi Bai, Yihui Liu. 128-135 [doi]
- Non-commutative Logic for Hand-Written Character ModelingJacqueline Castaing. 136-153 [doi]
- From Numerical to Symbolic Data during the Recognition of ScenariiSophie Loriette-Rougegrez. 154-167 [doi]
- On Mathematical Modeling of Networks and Implementation AspectsRegina Bernhaupt, Jochen Pfalzgraf. 168-180 [doi]
- Continuous First-Order Constraint SatisfactionStefan Ratschan. 181-195 [doi]
- Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval ConstraintsMartin Charles Golumbic, Assaf Siani. 196-207 [doi]
- A Genetic-Based Approach for Satisfiability ProblemsMohamed Tounsi. 208-216 [doi]
- On Identifying Simple and Quantified Lattice Points in the 2SAT PolytopeK. Subramani. 217-230 [doi]
- Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and RequirementsGilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani. 231-245 [doi]
- The Meaning of Infinity in Calculus and Computer Algebra SystemsMichael Beeson, Freek Wiedijk. 246-258 [doi]
- Making Conjectures about Maple FunctionsSimon Colton. 259-274 [doi]
- Employing Theory Formation to Guide Proof Planning275-289 [doi]
- Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-TermsTemur Kutsia. 290-304 [doi]
- Combining Generic and Domain Specific Reasoning by Using ContextsSilvio Ranise. 305-318 [doi]
- Inductive Theorem Proving and Computer Algebra in the MathWeb Software BusJürgen Zimmer, Louise A. Dennis. 319-331 [doi]
- YACAS: A Do-It-Yourself Symbolic Algebra EnvironmentAyal Z. Pinkus, Serge Winitzki. 332-336 [doi]
- Focus Windows: A New Technique for Proof PresentationFlorina Piroi, Bruno Buchberger. 337-342 [doi]