Sciweavers

12981 search results - page 243 / 2597
» Artificial Intelligence
Sort
View
TABLEAUX
2005
Springer
16 years 4 days ago
LoTREC: Logical Tableaux Research Engineering Companion
Olivier Gasquet, Andreas Herzig, Dominique Longin,...
ECAI
2004
Springer
16 years 1 days ago
Failing First: An Update
J. Christopher Beck, Patrick Prosser, Richard J. W...