Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1930/2001
DOI10.1007/3-540-44990-6
Copyright2001
ISBN978-3-540-42071-2
Subject CollectionComputer Science
SpringerLink DateSunday, June 29, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
20 Chapters
Front Matter

Front MatterPDF (146.5 KB)

  
Chapter
George Boole, a Forerunner of Symbolic Computation
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano and Alberto Brunori
DOI: 10.1007/3-540-44990-6_1
Full TextPDF (309.5 KB)
 1-19
Chapter
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management
Marc Knoppe
DOI: 10.1007/3-540-44990-6_2
Full TextPDF (590.9 KB)
 20-31
Chapter
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
Michael Kohlhase
DOI: 10.1007/3-540-44990-6_3
Full TextPDF (391.1 KB)
 32-52
Chapter
On Communicating Proofs in Interactive Mathematical Documents
Olga Caprotti and Martijn Oostdijk
DOI: 10.1007/3-540-44990-6_4
Full TextPDF (245.4 KB)
 53-64
Chapter
Composite Distributive Lattices as Annotation Domains for Mediators
Jacques Calmet, Peter Kullmann and Morio Taneda
DOI: 10.1007/3-540-44990-6_5
Full TextPDF (244.2 KB)
 65-77
Chapter
A Proof Strategy Based on a Dual Representation
Guilherme Bittencourt and Isabel Tonin
DOI: 10.1007/3-540-44990-6_6
Full TextPDF (278.1 KB)
 78-91
Chapter
Formalizing Rewriting in the ACL2 Theorem Prover
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo and Francisco-Jesús Martín-Mateos
DOI: 10.1007/3-540-44990-6_7
Full TextPDF (287.0 KB)
 92-106
Chapter
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices
Angel Fernandez Pineda, Enric Trillas and Claudio Vaucheret
DOI: 10.1007/3-540-44990-6_8
Full TextPDF (250.0 KB)
 107-114
Chapter
Reasoning about the Elementary Functions of Complex Analysis
Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt and Stephen M. Watt
DOI: 10.1007/3-540-44990-6_9
Full TextPDF (275.2 KB)
 115-126
Chapter
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic
Martine Ceberio and Laurent Granvilliers
DOI: 10.1007/3-540-44990-6_10
Full TextPDF (265.1 KB)
 127-141
Chapter
Basic Operators for Solving Constraints via Collaboration of Solvers
Carlos Castro and Eric Monfroy
DOI: 10.1007/3-540-44990-6_11
Full TextPDF (259.9 KB)
 142-156
Chapter
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
Eugenio Roanes-Macías and Eugenio Roanes-Lozano
DOI: 10.1007/3-540-44990-6_12
Full TextPDF (305.3 KB)
 157-173
Chapter
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra
Robert M. Corless, Mark W. Giesbrecht, Ilias S. Kotsireas and Stephen M. Watt
DOI: 10.1007/3-540-44990-6_13
Full TextPDF (208.3 KB)
 174-183
Chapter
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects
Jochen Pfalzgraf
DOI: 10.1007/3-540-44990-6_14
Full TextPDF (409.2 KB)
 184-199
Chapter
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design
Andres Iglesias and Akemi Gálvez
DOI: 10.1007/3-540-44990-6_15
Full TextPDF (318.4 KB)
 200-213
Chapter
How Symbolic Computation Can Benefit Computer-Aided Geometric Design
Andres Iglesias
DOI: 10.1007/3-540-44990-6_16
Full TextPDF (321.8 KB)
 214-218
Chapter
CDR: A Rewriting Based Tool to Design FPLA Circuits
Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira and Jacques Chabin
DOI: 10.1007/3-540-44990-6_17
Full TextPDF (149.3 KB)
 219-222
Chapter
Locally Effective Objects and Artificial Intelligence
Julio Rubio
DOI: 10.1007/3-540-44990-6_18
Full TextPDF (156.5 KB)
 223-226
Chapter
Negotiation Algorithms for Multi-agent Interactions
Marco A. Arranz
DOI: 10.1007/3-540-44990-6_19
Full TextPDF (815.2 KB)
 227-239
Chapter
Some Techniques of Isomorph-Free Search
Thierry Boy
DOI: 10.1007/3-540-44990-6_20
Full TextPDF (256.0 KB)
 240-252
Back Matter

Back MatterPDF (24.4 KB)

  
20 Chapters
more options
Find


Starts With
20 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.117 • Server: mpweb15
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)