Sciweavers

53327 search results - page 370 / 10666
» is 2007
Sort
View
IJCAI
2003
15 years 8 months ago
Qualitatively Faithful Quantitative Prediction
Dorian Suc, Daniel Vladusic, Ivan Bratko
113
Voted
IJCAI
2003
15 years 8 months ago
Assertion Application in Theorem Proving and Proof Planning
Quoc Bao Vo, Christoph Benzmüller, Serge Aute...
« Prev « First page 370 / 10666 Last » Next »