Navigation

• Home
• Projects
  • ALGOL
  • APL
  • Artificial Intelligence
  • BCPL
  • C++
  • FOCAL
  • FORTRAN and FORTRAN II
  • GEDANKEN
  • LISP
  • Mesa
  • NLS / AUGMENT
  • PAL
  • Poplar
  • Prolog
    • Argonne National Laboratories
    • Bell-Northern Research
    • BIM Systems
    • University of Cambridge
    • University of Edinburgh
    • Gigalips Project (Argonne National Laboratory, University of Manchester, University of Bristol, SICS, and IQSOFT SZKI)
    • Imperial College, London
    • InterFace Computer
    • Universidade Nova de Lisboa
    • Université d'Aix-Marseille
      • Documents
        • Philippe Roussel. Définition et traitement de l'égalité formelle en démonstration automatique. Université Aix-Marseille II, France, May 1972.
      • Source code and listings
    • University of Melbourne
    • Université de Montréal
    • Quintus Computer Systems, Inc.
    • SRI International
    • State University of New York at Stony Brook
    • Swedish Institute of Computer Science
    • Syracuse University
    • University of Uppsala
    • University of Victoria
    • University of Warsaw
    • University of Waterloo
    • NIM IGÜSZI
  • SETL
  • Programming Languages
  • Functional Programming
  • Operating Systems
  • Program Verification
  • Directory of Software Collections
  • Interactive C Environments
  • The History of Emacs
• Meetings
• Software Preservation Wiki
• Discussion Forums
• About Us
• Can you help?
• The Attic & the Parlor: A Workshop on Software Collection, Preservation & Access, May 5, 2006

Log in

Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.

Forgot your password?

 

«	January 2025					»
Su	Mo	Tu	We	Th	Fr	Sa
			1	2	3	4
5	6	7	8	9	10	11
12	13	14	15	16	17	18
19	20	21	22	23	24	25
26	27	28	29	30	31