Conferences in DBLP
Eugene C. Freuder Constraint Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Colmerauer Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Deplagne , Claude Kirchner Deduction versus Computation: The Case of Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Sturm Integration of Quantifier Elimination with Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Madhu Chetty Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design. [Citation Graph (0, 0)][DBLP ] Conf ] Emanuel Kitzelmann , Ute Schmid , Martin Mühlpfordt , Fritz Wysotzki Inductive Synthesis of Functional Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Begoña Herrero , Luis M. Laita , Eugenio Roanes-Lozano , Victor Maojo , Luis de Ledesma , José Crespo , Laura Laita A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Aiguier , Diane Bahrami , Catherine Dubois On a Generalised Logicality Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Smirnova Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Corless , David J. Jeffrey The Wright omega Function. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Nossum , Luciano Serafini Multicontext Logic for Semigroups of Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Campbell Indefinite Integration as a Testbed for Developments in Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Hunter Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation. [Citation Graph (0, 0)][DBLP ] Conf ] Li Bai , Yihui Liu A Novel Face Recognition Method. [Citation Graph (0, 0)][DBLP ] Conf ] Jacqueline Castaing Non-commutative Logic for Hand-Written Character Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Sophie Loriette-Rougegrez From Numerical to Symbolic Data during the Recognition of Scenarii. [Citation Graph (0, 0)][DBLP ] Conf ] Regina Bernhaupt , Jochen Pfalzgraf On Mathematical Modeling of Networks and Implementation Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Ratschan Continuous First-Order Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Charles Golumbic , Assaf Siani Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Tounsi A Genetic-Based Approach for Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] Conf ] K. Subramani On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Audemard , Piergiorgio Bertoli , Alessandro Cimatti , Artur Kornilowicz , Roberto Sebastiani Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Beeson , Freek Wiedijk The Meaning of Infinity in Calculus and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Colton Making Conjectures about Maple Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Meier , Volker Sorge , Simon Colton Employing Theory Formation to Guide Proof Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Temur Kutsia Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Silvio Ranise Combining Generic and Domain Specific Reasoning by Using Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Zimmer , Louise A. Dennis Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. [Citation Graph (0, 0)][DBLP ] Conf ] Ayal Z. Pinkus , Serge Winitzki YACAS: A Do-It-Yourself Symbolic Algebra Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Florina Piroi , Bruno Buchberger Focus Windows: A New Technique for Proof Presentation. [Citation Graph (0, 0)][DBLP ] Conf ] 