- Hardcover
- Publisher: AK Peters, Ltd.; Illustrated. edition (2001)
- ASIN: B002G8TUO6
Would you like to update product info or give feedback on images?
| |||||||||||||||
Product Details |
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Browse and search another edition of this book.
Browse and search another edition of this book.
First Sentence:
Abstract. In [2] we presented a Definite Integral Table Lookup (the DILTU) for parametric functions, including a minimal prototype implementation demonstrating its capabilities. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
mechanized reasoning systems, theorema system, basic prover, special provers, automation wrapper, external reasoners, computer algebra oracles, proof planner, computational session, command blackboard, residue class set, agent specification language, deduction tree, proof planning, tactic script, formalized mathematics, proof nodes, precondition analysis, suggestion blackboard, suggestion mechanism, symbolic computation systems, proof search, proof situation, exploration module, inference search Key Phrases - Capitalized Phrases (CAPs): (learn more)
Logic Broker Architecture, Alessandro Armando, Grzegorz Bancerek, Theoretical Computer Science, Artificial Intelligence, International Conference, Andrzej Trybulec, Journal of Automated Reasoning, Open Mechanized Reasoning Systems, Volker Sorge, Constraint Contextual Rewriting, International Symposium, Michael Kohlhase, Piotr Rudnicki, Simon Thompson, Sum of Tuples, Frontiers of Combining Systems, Electronic Notes, Manfred Kerber, Gerhard Pfister, Gert-Martin Greuel, Institute of Cybernetics, Library Committee, Machine Intelligence, Mateja Jamnik New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Abstract. In [2] we presented a Definite Integral Table Lookup (the DILTU) for parametric functions, including a minimal prototype implementation demonstrating its capabilities. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
mechanized reasoning systems, theorema system, basic prover, special provers, automation wrapper, external reasoners, computer algebra oracles, proof planner, computational session, command blackboard, residue class set, agent specification language, deduction tree, proof planning, tactic script, formalized mathematics, proof nodes, precondition analysis, suggestion blackboard, suggestion mechanism, symbolic computation systems, proof search, proof situation, exploration module, inference search Key Phrases - Capitalized Phrases (CAPs): (learn more)
Logic Broker Architecture, Alessandro Armando, Grzegorz Bancerek, Theoretical Computer Science, Artificial Intelligence, International Conference, Andrzej Trybulec, Journal of Automated Reasoning, Open Mechanized Reasoning Systems, Volker Sorge, Constraint Contextual Rewriting, International Symposium, Michael Kohlhase, Piotr Rudnicki, Simon Thompson, Sum of Tuples, Frontiers of Combining Systems, Electronic Notes, Manfred Kerber, Gerhard Pfister, Gert-Martin Greuel, Institute of Cybernetics, Library Committee, Machine Intelligence, Mateja Jamnik New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 21
books:
See all 21 books this book cites
- Computer Algebra (Lecture Notes in Computer Science) by Jacques Calmet on 4 pages
- Machine Learning by Tom M. Mitchell on page 157, and page 158
- Computer Algebra (Lecture Notes in Pure and Applied Mathematics) by Richard Jenks on page 219, and page 260
- Human Problem Solving by Allen Newell on page 251
- The Art and Craft of Problem Solving by Paul Zeitz on page 248
See all 21 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
