Sciweavers

16541 search results - page 230 / 3309
» Ontologies and Software Engineering
Sort
View
AC
1993
Springer
15 years 10 months ago
Examples of Termination
Nachum Dershowitz
AC
1993
Springer
15 years 10 months ago
Introduction to Rewriting
Jean-Pierre Jouannaud
AMAST
1993
Springer
15 years 10 months ago
Peirce Algebras
Chris Brink, Katarina Britz