Sciweavers

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