Nr. 4 (1972): PB-4 Appendix B til Specialeopgaven: Konstruktion og Implementering af interaktivt theorem proving system: Brugervejl.

Publiceret: 1972-05-01

Articles