001: 2696
003: Starlibrary PMS 4.5
005: 20180420
020: ^a0-07-018563-8
066: ^aCl.K
072: ^aConceptual Underpinnings
082: ^a620
100: ^aClivel. Dum
240: ^aKnowledge based sgstems in engineering
245: ^aKnowledge based sgstems in engineering
260: ^c1991
650: ^aDeduction With Formal Logic
650: ^aLanguages for symbolic computation
700: ^a Raymond E. Levitt