01467nam0 22003853i 450 RMS008100920251003044344.0026273105320080130d1993 ||||0itac50 baengusz01i xxxe z01nz01ncRDAcarrierLogic 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 LOGICA22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniWarren, David S.AQ1V004541International conference on logic programming <10. ; 1993 ; Budapest>RMSV038311070771639ITIT-00000020080130IT-BN0095 NAP 01SALA DING $RMS0081009Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 ICLP 0102 0000017055 VMA A41993 1 v.Y 2008013020080130 01Logic programming1574770UNISANNIO