Sciweavers

8949 search results - page 205 / 1790
» is 1998
Sort
View
136
Voted
FLAIRS
1998
15 years 8 months ago
Strategy Parallelism in Automated Theorem Proving
Andreas Wolf, Reinhold Letz
131
Voted
FLAIRS
1998
15 years 8 months ago
Application of Phonological Knowledge in Audio Word Spotting
Wai Yat Wong, John Robertson