1302 search results - page 3 / 261 » Free-Style Theorem Proving |
JAR
1998
13 years 7 months ago
1998
PPDP
2010
Springer
13 years 6 months ago
2010
Springer
ACL
1990
13 years 8 months ago
1990
We discuss algorithms for generation within the Lambek Theorem Proving Framework. Efficient algorithms for generation in this framework take a semantics-driven strategy. This stra...
JSYML
1998
13 years 7 months ago
1998
We prove the following theorems:
AICOM
2010
13 years 7 months ago
2010
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...