5. AISC 2000: Madrid, Spain

@proceedings{DBLP:conf/aisc/2000,
  editor    = {John A. Campbell and
               Eugenio Roanes-Lozano},
  title     = {Artificial Intelligence and Symbolic Computation, International
               Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised
               Papers},
  booktitle = {AISC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1930},
  year      = {2001},
  isbn      = {3-540-42071-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori:
  George Boole, a Forerunner of Symbolic Computation. 1-19
  Electronic Edition (Springer LINK) BibTeX
• Marc Knoppe:
  Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management. 20-31
  Electronic Edition (Springer LINK) BibTeX
• Michael Kohlhase:
  OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. 32-52
  Electronic Edition (Springer LINK) BibTeX

Contributed Papers and Poster Summaries

• Olga Caprotti, Martijn Oostdijk:
  On Communicating Proofs in Interactive Mathematical Documents. 53-64
  Electronic Edition (Springer LINK) BibTeX
• Jacques Calmet, Peter Kullmann, Morio Taneda:
  Composite Distributive Lattices as Annotation Domains for Mediators. 65-77
  Electronic Edition (Springer LINK) BibTeX
• Guilherme Bittencourt, Isabel Tonin:
  A Proof Strategy Based on a Dual Representation. 78-91
  Electronic Edition (Springer LINK) BibTeX
• 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
  Electronic Edition (Springer LINK) BibTeX
• Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret:
  Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices. 107-114
  Electronic Edition (Springer LINK) BibTeX
• Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt:
  Reasoning about the Elementary Functions of Complex Analysis. 115-126
  Electronic Edition (Springer LINK) BibTeX
• Martine Ceberio, Laurent Granvilliers:
  Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. 127-141
  Electronic Edition (Springer LINK) BibTeX
• Carlos Castro, Eric Monfroy:
  Basic Operators for Solving Constraints via Collaboration of Solvers. 142-156
  Electronic Edition (Springer LINK) BibTeX
• Eugenio Roanes-Macías, Eugenio Roanes-Lozano:
  Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. 157-173
  Electronic Edition (Springer LINK) BibTeX
• Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt:
  Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. 174-183
  Electronic Edition (Springer LINK) BibTeX
• Jochen Pfalzgraf:
  A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects. 184-199
  Electronic Edition (Springer LINK) BibTeX
• Andrés Iglesias, Akemi Gálvez:
  A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design. 200-213
  Electronic Edition (Springer LINK) BibTeX
• Andrés Iglesias:
  How Symbolic Computation Can Benefit Computer-Aided Geometric Design. 214-218
  Electronic Edition (Springer LINK) BibTeX
• Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin:
  CDR: A Rewriting Based Tool to Design FPLA Circuits. 219-222
  Electronic Edition (Springer LINK) BibTeX
• Julio Rubio:
  Locally Effective Objects and Artificial Intelligence. 223-226
  Electronic Edition (Springer LINK) BibTeX
• Marco A. Arranz:
  Negotiation Algorithms for Multi-agent Interactions. 227-239
  Electronic Edition (Springer LINK) BibTeX
• Thierry Boy de la Tour:
  Some Techniques of Isomorph-Free Search. 240-252
  Electronic Edition (Springer LINK) BibTeX