Sciweavers

10539 search results - page 149 / 2108
» On L
Sort
View
SLP
1994
68views more  SLP 1994»
15 years 7 months ago
A PROLOG Interpreter for First-Order Intuitionistic Logic
L. Thorne McCarty, Leon A. Shklar
USENIX
1993
15 years 7 months ago
The Organization of Networks in Plan 9
David L. Presotto, Phil Winterbottom
AAAI
1992
15 years 7 months ago
Automatic Abduction of Qualitative Models
Bradley L. Richards, Ina Kraan, Benjamin Kuipers