UNC-CH/ CS/ Mechanized Inference/ Periphery


Periphery
o UNC/ at Chapel Hill/ Computer Science
o Duke University/ CS
o North Carolina State University/ CS
o MPI Informatik/ The Saturate System (Germany)
o University of Kaiserslautern (Germany)
o Oxford Univ./ Computing Lab/ Logic Programming (UK)
o Eclipse Prolog mailing list archive (UK)
o Computational Logic, Inc.
o Argonne Nat. Labs/ Math & CS/ Otter
o Stanford University/ CS/ Tomás E. Uribe/ Research
o Worldwide mechanized deduction page (Germany)
o James Cook University/ CS/ TPTP (Australia)
o Australian Nat. Univ./ ARP (Australia)
o University of Iowa/ CS/ Hantao Zhang

plaisted@cs.unc.edu, 21-Mar-96
If you have a link to this page...