00514nam 2202696 45000010005000000030023000050050009000280080041000370820008000780720029000860200018001151000016001332600024001492500006001732450043001796500029002226500032002516500039002832696StarLibrary Marc Built20180420201711 ||||| |||||||||||amh  a620 aConceptual Underpinnings a0-07-018563-8 aClivel. Dum bMC GRAW,HILL c1991 a3 aKnowledge based sgstems in engineering aConceptual Underpinnings aDeduction With Formal Logic aLanguages for symbolic computation