Sciweavers

1056 search results - page 12 / 212
» ijcai 2007
Sort
View
IJCAI
2003
15 years 1 months ago
Assertion Application in Theorem Proving and Proof Planning
Quoc Bao Vo, Christoph Benzmüller, Serge Aute...
IJCAI
2003
15 years 1 months ago
Sparse-Memory Graph Search
Rong Zhou, Eric A. Hansen