Artificial Intelligence and Symbolic Computation
International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
Series: Lecture Notes in Computer Science; 1930;
- Publisher's listprice EUR 53.49
-
22 690 Ft (21 609 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 8% (cc. 1 815 Ft off)
- Discounted price 20 874 Ft (19 880 Ft + 5% VAT)
22 690 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 2001
- Publisher Springer
- Date of Publication 25 April 2001
- Number of Volumes 1 pieces, Book
- ISBN 9783540420712
- Binding Paperback
- No. of pages258 pages
- Size 235x155 mm
- Weight 411 g
- Language English
- Illustrations X, 258 p. 0
Categories
Long description:
Springer Book Archives
MoreTable of Contents:
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.
More
