Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CADE
2005
Springer

favoriteEmaildiscussreport

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

13 years 10 months ago

System Description: Multi A Multi-strategy Proof Planner

Download www.activemath.org

Andreas Meier, Erica Melis

Real-time Traffic

Automated Reasoning | CADE 2005 |

claim paper

Related Content

» ImpasseDriven Reasoning in Proof Planning

» GDT4MAS an extension of the GDT model to specify and to verify MultiAgent systems

» Memory Organization with MultiPattern Parallel Accesses

» A New Logical framework for Deductive Planning

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CADE
Authors	Andreas Meier, Erica Melis

Comments (0)