Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic
G.William Moore, Robert E. Miller, Grover M. HutchinsVolume:
7
Year:
1986
Language:
english
Pages:
13
DOI:
10.1016/0270-0255(86)90094-1
File:
PDF, 981 KB
english, 1986