Sciweavers

13026 search results - page 70 / 2606
» Creativity and Artificial Intelligence
Sort
View
AISC
2004
Springer
16 years 3 days ago
On the Combination of Congruence Closure and Completion
Christelle Scharff, Leo Bachmair
AISC
2004
Springer
16 years 3 days ago
A Paraconsistent Higher Order Logic
Jørgen Villadsen