The Mizar-QC/6000 logic information language. Bulletin of the Association for Literary and Linguistic Computing (LLAC (1978)

by A Trybulec
Venue:University of Texas Computer Sciences