Cantitate/Preț
Produs

Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers: Lecture Notes in Computer Science, cartea 1930

Editat de John A. Campbell, Eugenio Roanes-Lozano
en Limba Engleză Paperback – 25 apr 2001

Din seria Lecture Notes in Computer Science

Preț: 32165 lei

Preț vechi: 40206 lei
-20% Nou

Puncte Express: 482

Preț estimativ în valută:
6156 6416$ 5125£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540420712
ISBN-10: 3540420711
Pagini: 268
Ilustrații: X, 258 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2001
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Invited Papers.- George Boole, a Forerunner of Symbolic Computation.- Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management.- OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge.- Contributed Papers and Poster Summaries.- On Communicating Proofs in Interactive Mathematical Documents.- Composite Distributive Lattices as Annotation Domains for Mediators.- A Proof Strategy Based on a Dual Representation.- Formalizing Rewriting in the ACL2 Theorem Prover.- Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices.- Reasoning about the Elementary Functions of Complex Analysis.- Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic.- Basic Operators for Solving Constraints via Collaboration of Solvers.- Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem.- Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra.- A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects.- A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design.- How Symbolic Computation Can Benefit Computer-Aided Geometric Design.- CDR: A Rewriting Based Tool to Design FPLA Circuits.- Locally Effective Objects and Artificial Intelligence.- Negotiation Algorithms for Multi-agent Interactions.- Some Techniques of Isomorph-Free Search.

Caracteristici

Includes supplementary material: sn.pub/extras