The Resource Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers, John A. Campbell, Eugenio Roanes-Lozano (eds.)

Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers, John A. Campbell, Eugenio Roanes-Lozano (eds.)

Label
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
Title
Artificial intelligence and symbolic computation
Title remainder
International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
Statement of responsibility
John A. Campbell, Eugenio Roanes-Lozano (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Index
index present
LC call number
Q334
LC item number
.I553 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
AISC (Conference)
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1940-
http://library.link/vocab/relatedWorkOrContributorName
  • Campbell, J. A.
  • Roanes-Lozano, Eugenio
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
1930.
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Logic, Symbolic and mathematical
  • logique induction
  • démonstration théorème
  • mathématique symbolique
  • intelligence artificielle
  • Intelligence artificielle
  • Logique symbolique et mathématique
  • Kunstmatige intelligentie
  • Symbolische logica
  • Intelligence artificielle
  • Logique symbolique et mathématique
  • Computeralgebra
  • Kongress
  • Künstliche Intelligenz
  • Artificial intelligence
  • Logic, Symbolic and mathematical
Label
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers, John A. Campbell, Eugenio Roanes-Lozano (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Contents
George Boole, a forerunner of symbolic computation / Luis M. Laita ... [et al.] -- Artificial intelligence as a decision tool for efficient strategic and operational management / Marc Knoppe -- OMDOC: towards an internet standard for the administration, distribution, and teaching of mathematical knowledge / Michael Kohlhase -- On communicating proofs in interactive mathematical documents / Olga Caprotti and Martijn Oostdijk -- Composite distributive lattices as annotation domains for mediators / Jacques Calmet, Peter Kullmann, and Morio Taneda -- A proof strategy based on a dual representation / Guilherme Bittencourt and Isabel Tonin -- Formalizing rewriting in the ACL2 theorem prover / Jose-Luis Ruiz-Reina ... [et al.] -- Additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices / Angel Fernandez Pineda, Enric Trillas, and Claudio Vaucheret -- Reasoning about the elementary functions of complex analysis / Robert M. Corless ... [et al.] -- Solving nonlinear systems by constraint inversion and interval arithmetic / Martine Ceberio and Laurent Granvilliers -- Basic operators for solving constraints via collaboration of solvers / Carlos Castro and Eric Monfroy -- Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem / Eugenio Roanes-Macias and Eugenio Roanes-Lozano -- Numerical implicitization of parametric hypersurfaces with linear algebra / Robert M. Corless ... [et al.] -- A note on modeling connectionist network structures: geometric and categorical aspects / Jochen Pfalzgraf -- A new artificial intelligence paradigm for computer-aided geometric design / Andres Iglesias and Akemi Galvez -- How symbolic computation can benefit computer-aided geometric design / Andres Iglesias -- CDR: a rewriting based tool to design FPLA circuits / Zahir Maazouzi .. [et al.] -- Locally effective objects and artificial intelligence / Julio Rubio -- Negotiation algorithms for multi-agent interactions / Marco A. Arranz -- Some techniques of isomorph-free search / Thierry Boy de la Tour
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 252 p.
Isbn
9783540420712
Isbn Type
(pbk. : alk. paper)
Lccn
2001031200
Other physical details
ill.
Specific material designation
remote
System control number
  • (OCoLC)46809059
  • (OCoLC)ocm46809059
Label
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers, John A. Campbell, Eugenio Roanes-Lozano (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Contents
George Boole, a forerunner of symbolic computation / Luis M. Laita ... [et al.] -- Artificial intelligence as a decision tool for efficient strategic and operational management / Marc Knoppe -- OMDOC: towards an internet standard for the administration, distribution, and teaching of mathematical knowledge / Michael Kohlhase -- On communicating proofs in interactive mathematical documents / Olga Caprotti and Martijn Oostdijk -- Composite distributive lattices as annotation domains for mediators / Jacques Calmet, Peter Kullmann, and Morio Taneda -- A proof strategy based on a dual representation / Guilherme Bittencourt and Isabel Tonin -- Formalizing rewriting in the ACL2 theorem prover / Jose-Luis Ruiz-Reina ... [et al.] -- Additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices / Angel Fernandez Pineda, Enric Trillas, and Claudio Vaucheret -- Reasoning about the elementary functions of complex analysis / Robert M. Corless ... [et al.] -- Solving nonlinear systems by constraint inversion and interval arithmetic / Martine Ceberio and Laurent Granvilliers -- Basic operators for solving constraints via collaboration of solvers / Carlos Castro and Eric Monfroy -- Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem / Eugenio Roanes-Macias and Eugenio Roanes-Lozano -- Numerical implicitization of parametric hypersurfaces with linear algebra / Robert M. Corless ... [et al.] -- A note on modeling connectionist network structures: geometric and categorical aspects / Jochen Pfalzgraf -- A new artificial intelligence paradigm for computer-aided geometric design / Andres Iglesias and Akemi Galvez -- How symbolic computation can benefit computer-aided geometric design / Andres Iglesias -- CDR: a rewriting based tool to design FPLA circuits / Zahir Maazouzi .. [et al.] -- Locally effective objects and artificial intelligence / Julio Rubio -- Negotiation algorithms for multi-agent interactions / Marco A. Arranz -- Some techniques of isomorph-free search / Thierry Boy de la Tour
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 252 p.
Isbn
9783540420712
Isbn Type
(pbk. : alk. paper)
Lccn
2001031200
Other physical details
ill.
Specific material designation
remote
System control number
  • (OCoLC)46809059
  • (OCoLC)ocm46809059

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...