01269nam0 22003373i 450 AQ1000338020251003044040.0013539958020220919d1986 ||||0itac50 baengusz01i xxxe z01nz01ncRDAcarrierLogic programming, functions, relations and equationsDoug DeGroot, Gary LindstromEnglewood Cliffs (N.J.)Prentice Hallc1986VII, 533 p.24 cm.Elaboratori elettroniciProgrammazioneFIRCFIC000860EProgrammazione logicaFIRCFIC136733E005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22De Groot, DougAQ1V001770070770261Lindstrom, GaryAQ1V001771070770262ITIT-00000020220919IT-BN0095 NAP 01SALA DING $AQ10003380Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 005.1 DEG.lo 0102 0000006805 VMA A4 1 v.Y 2008012820080128 01Logic programming, functions, relations and equations1571129UNISANNIO