Sciweavers

10271 search results - page 144 / 2055
» Computational science
Sort
View
CTRS
1987
15 years 9 months ago
Solving Goals in Equational Languages
Nachum Dershowitz, G. Sivakumar
116
Voted
MFCS
1989
Springer
15 years 9 months ago
Switching Graphs and Their Complexity
Christoph Meinel