A nucleus of a theorem-prover described inAlgol-68
From MaRDI portal
Publication:4401574
DOI10.1007/BF01355585zbMath0276.68038MaRDI QIDQ4401574
Jacques Cohen, Peter Wegner, Caurent Trilling
Publication date: 1974
Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
Related Items
Uses Software
Cites Work