Sciweavers

23413 search results - page 227 / 4683
» or 2005
Sort
View
128
Voted
AIIA
2005
Springer
16 years 24 days ago
Using a Theorem Prover for Reasoning on Constraint Problems
Marco Cadoli, Toni Mancini
AIME
2005
Springer
16 years 24 days ago
Translating Biomedical Terms by Inferring Transducers
Vincent Claveau, Pierre Zweigenbaum