00838nam0-22003131i-450-9900013576404033210-201-17576-2000135764FED01000135764(Aleph)000135764FED0100013576420000920d--------km-y0itay50------baengLogic ProgrammingSystematic Program DevelopmentYves DevilleWokingham [etc.]xvii, 338 p.ill.24 cmInternational Series in Logic ProgrammingLogicaRicorsività160Deville,Yves61282ITUNINARICAUNIMARCBK9900013576404033217-2915378FI1FI1Logic Programming375752UNINAING01