1960
Copie bewijstester logische uitspraken, programmaband I, B0082
Publication
Publication
Copy of proof tester for logical statements, program tape I
This is the converted file from the 7 hole punched papertape. The source is ALGOL 60. There is a binary file, which is only programmatically readable, and a text file.
| Additional Metadata | |
|---|---|
| ALGOL 60 | |
| CWI Archive L040 Tape 13 | |
| Organisation | Information & Documentation |
|
Copie bewijstester logische uitspraken, programmaband I, B0082. (1960). Copie bewijstester logische uitspraken, programmaband I, B0082. ALGOL 60. |
|
| Additional Files | |
|---|---|
| b13.7 Final Version , 13kb | |
| b13.txt Final Version , 7kb | |
| View at homepage Final Version | |