Sciweavers

13090 search results - page 66 / 2618
» Usable artificial intelligence
Sort
View
AISC
2004
Springer
15 years 9 months ago
On the Combination of Congruence Closure and Completion
Christelle Scharff, Leo Bachmair
AISC
2004
Springer
15 years 9 months ago
A Paraconsistent Higher Order Logic
Jørgen Villadsen
AMAI
2004
Springer
15 years 9 months ago
Analysis of Greedy Robot-Navigation Methods
Apurva Mudgal, Craig A. Tovey, Sven Koenig