Sciweavers

105 search results - page 1 / 21
» cai 2006
Sort
View
CAI
2006
Springer
14 years 11 months ago
Explanations and Proof Trees
Gérard Ferrand, Willy Lesaint, Alexandre Te...
JUCS
2010
107views more  JUCS 2010»
14 years 10 months ago
Mobile Intelligence
Yang Cai