01262nam0 22003253i 450 RMS008100920240906063318.0026273105320080130d1993 ||||0itac50 baengusz01i xxxe z01nLogic programmingproceedings of the tenth international conference on logic programmingedited by David S. WarrenCambridge (Mass.)The MIT press1993XX, 854 p.23 cmLogic programming001NAP03954412001 Logic programmingProgrammazione logicaCongressi1993FIRNAPC223597I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Warren, David S.AQ1V004541International conference on logic programming <10. ; 1993 ; Budapest>RMSV038311070771639ITIT-NA007920080130IT-BN0095 RMS0081009Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 ICLP 0102 0000017055 B A41993 1 v.3 2008013020080130 01Logic programming1574770UNISANNIO