default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th AISC 2000: Madrid, Spain
- John A. Campbell, Eugenio Roanes-Lozano:
Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers. Lecture Notes in Computer Science 1930, Springer 2001, ISBN 3-540-42071-1
Invited Papers
- Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori:
George Boole, a Forerunner of Symbolic Computation. 1-19 - Marc Knoppe:
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management. 20-31 - Michael Kohlhase:
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. 32-52
Contributed Papers and Poster Summaries
- Olga Caprotti, Martijn Oostdijk:
On Communicating Proofs in Interactive Mathematical Documents. 53-64 - Jacques Calmet, Peter Kullmann, Morio Taneda:
Composite Distributive Lattices as Annotation Domains for Mediators. 65-77 - Guilherme Bittencourt, Isabel Tonin:
A Proof Strategy Based on a Dual Representation. 78-91 - José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos:
Formalizing Rewriting in the ACL2 Theorem Prover. 92-106 - Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret:
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices. 107-114 - Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt:
Reasoning about the Elementary Functions of Complex Analysis. 115-126 - Martine Ceberio, Laurent Granvilliers:
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. 127-141 - Carlos Castro, Éric Monfroy:
Basic Operators for Solving Constraints via Collaboration of Solvers. 142-156 - Eugenio Roanes-Macías, Eugenio Roanes-Lozano:
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. 157-173 - Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt:
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. 174-183 - Jochen Pfalzgraf:
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects. 184-199 - Andrés Iglesias
, Akemi Gálvez:
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design. 200-213 - Andrés Iglesias:
How Symbolic Computation Can Benefit Computer-Aided Geometric Design. 214-218 - Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin:
CDR: A Rewriting Based Tool to Design FPLA Circuits. 219-222 - Julio Rubio:
Locally Effective Objects and Artificial Intelligence. 223-226 - Marco A. Arranz:
Negotiation Algorithms for Multi-agent Interactions. 227-239 - Thierry Boy de la Tour:
Some Techniques of Isomorph-Free Search. 240-252
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-26 23:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
