Sciweavers

15799 search results - page 184 / 3160
» Software engineering: a roadmap
Sort
View
AC
1993
Springer
15 years 11 months ago
Examples of Termination
Nachum Dershowitz
117
Voted
AC
1993
Springer
15 years 11 months ago
Introduction to Rewriting
Jean-Pierre Jouannaud
145
Voted
APL
1994
ACM
15 years 11 months ago
Probabilistic Studies of I Ching with Use of APL
Pavel Luksha
178
Voted
AMAST
1993
Springer
15 years 11 months ago
Peirce Algebras
Chris Brink, Katarina Britz