01167nam--2200385---450-9900005575302033160055753USA010055753(ALEPH)000055753USA01005575320010711d1982----km-y0itay0103----baengGB||||||||001yyLogic programmingedited by K.L. Clark and S.A. TärnlundLondonAcademic Press1982XV, 366 p.ill.; tab.23 cmA.P.I.C. studies in data processing162001A.P.I.C. studies in data processing16Eleboratori elettronici digitali ProgrammazioneLogica simbolicaLogica matematica001.642CLARK,Keith L.TÄRNLUND,Sten-AkeITsalbcISBD990000557530203316001.6 API 16 B13683 SM001.600105084BKSCIPATTY9020010711USA01094320020403USA011705PATRY9020040406USA011639Logic programming337553UNISA