Sciweavers

42738 search results - page 214 / 8548
» Search Computing Systems
Sort
View
78
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
Proof Search Tree and Cut Elimination
Grigori Mints
100
Voted
ISMB
1997
15 years 4 months ago
Modeling Antibody Side Chain Conformations Using Heuristic Database Search
David W. Ritchie, Graham J. L. Kemp
111
Voted
COMGEO
2004
ACM
15 years 3 months ago
Parametric search made practical
René van Oostrum, Remco C. Veltkamp
104
Voted
CG
2000
Springer
15 years 3 months ago
Abstract Proof Search
Tristan Cazenave