Periphery
-
UNC/
at Chapel Hill/
Computer Science
-
Duke University/
CS
-
North Carolina State University/
CS
-
MPI Informatik/
The Saturate System (Germany)
-
University of Kaiserslautern (Germany)
-
Oxford Univ./
Computing Lab/
Logic Programming (UK)
-
Eclipse Prolog mailing list archive (UK)
-
Computational Logic, Inc.
-
Argonne Nat. Labs/
Math & CS/
Otter
-
Stanford University/
CS/
Tomás E. Uribe/
Research
-
Worldwide mechanized deduction page (Germany)
-
James Cook University/
CS/
TPTP
(Australia)
-
Australian Nat. Univ./
ARP (Australia)
-
University of Iowa/
CS/
Hantao Zhang
plaisted@cs.unc.edu,
21-Mar-96
If you have a link to this page...