Sciweavers

12981 search results - page 93 / 2597
» Artificial Intelligence
Sort
View
121
Voted
KI
1997
Springer
15 years 10 months ago
Reducing Lexical Redundancy by Augmenting Conceptual Knowledge
Sven Hartrumpf, Marion Schulz
LFCS
1997
Springer
15 years 10 months ago
Type Introduction for Equational Rewriting
Hitoshi Ohsaki, Aart Middeldorp