Sciweavers

16206 search results - page 196 / 3242
» Software Engineering is Not Enough
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