English
Deutsch
Français
简体中文
繁體中文
Categories
Study
-- IT Certification
-- Mathematics
-- Physics
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
-Physics, Topology, Logic and Computation: A Rosetta Stone- by John C. Baez adn Mike Stay
-Quantum Physics for Scientists and Technologists- by Paul Sanghera (Repost)
Physics Democracy and Public Space: The Physical Sites of Democratic Performance
Statistical and Thermal Physics - With Computer Applications
Introduction to the Physics of the Earth's Interior (Cambridge Topics in Mineral Ph) by Jean Paul Poirier (Repost)
Physics Principles and Labs for Physical Fitness, 7 edition by Wener W.K. Hoeger
Paul W. Zitzewitz, T. G. Elliott, "Physics: Principles and Problems" (Repost)
Physics Research for a Future in Space: The Role of Life and Physical Sciences
"Physics, Topology, Logic and Computation: A Rosetta Stone" by John C. Baez adn Mike Stay
Physics Black Hat - Physical Device Security. Exploiting Hardware and Software
Physics Lifetime Physical Fitness and Wellness - A Personalized Program, 10th edition
The Dreams That Stuff Is Made Of - The Most Astounding Papers of Quantum Physics--and How They Shook the Scientific World
"Quantum Physics for Scientists and Technologists" by Paul Sanghera (Repost)
C-algebras and applications to physics by A. Dold
Hyberbolic Conservation Laws in Continuum Physics (Grundlehren der mathematischen Wissenschaften) by C. M. Dafermos
Applications of Random Matrices in Physics by Edouard Brezin
Handbook of Chemistry and Physics (repost)
Few-Body Problems in Physics [Repost]
Physics Maya Training Tutorials - Maya Physical Dynamics CD-ViH
Useful Links
Physics Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Artificial Intelligence 1095)
Posted on 2010-04-14
|  |
More Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Artificial Intelligence 1095): William McCune, R. Padmanabhan This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies. To see my other books, click here.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Uploading.com) | Alive |
| Download Link (Rapidshare.com) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence) Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science) Publisher: SpringerNumber Of Pages: 231Publication Date: 2004-0 ... |
 | Technical Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) ISBN: 3540528377 Publisher: Springer Author: Lutz PlümerDescription:Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until n ... |
 | Technical Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence) ISBN: 354077355X Publisher: Springer Author: Description:This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/Sep ... |
 | Technical Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) ISBN: 364202260X Publisher: Springer Author: Description:Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceed ... |
 | Technical Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) ISBN: 3540613986 Publisher: Springer Author: William McCune, R. PadmanabhanDescription:This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automat ... |
 | Mathematics Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Author: Publisher: Springer (2004)Binding: Paperback, 493 pagespricer: $99.95ISBN-10: 3540223452editorialreviewsThis book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, ... |
Comments (0)
