01297nam0 22003373i 450 NAP039544820240809063101.0026269147720080130d1991 ||||0itac50 baengusz01i xxxe z01nLogic programmingproceedings of the 1991 international symposium edited by Vijay Saraswat and Kazunori UedaCambridge (MA)LondonMIT press1991XVIII, 740 p.23 cm.Logic programming001NAP03954412001 Logic programmingProgrammazione logicaCongressi1991FIRNAPC223579I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Ueda, KazunoriRMSV048374Saraswat, VijayUBOV654814International logic programming symposium <1991 ; San Diego>NAPV105559070770799ITIT-NA007920080130IT-BN0095 NAP0395448Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 ISOLP 0102 0000011925 B A41991 1 v.3 2008013020080130 01Logic programming1572911UNISANNIO