Sciweavers

13827 search results - page 131 / 2766
» The state of artificial intelligence
Sort
View
LFCS
1997
Springer
15 years 11 months ago
Type Introduction for Equational Rewriting
Hitoshi Ohsaki, Aart Middeldorp
133
Voted
AGP
1994
IEEE
15 years 11 months ago
A Logic for Encapsulation in Object-Oriented Languages
Michele Bugliesi, Hasan M. Jamil