00954nam0-22003251i-450-99000051901040332120091202153942.00262192500000051901FED01000051901(Aleph)000051901FED0100005190120020821d1986----km-y0itay50------baenga-------001yy<<The >>art of prologadvanced programming techniquesLeon Sterling, Ehud ShapiroCambridge, Mass.MIT Press©1986427 p.ill.24 cmMIT Press series in logic programmingLinguaggi di programmazionePROLOG005.133Sterling,Leon53869Shapiro,Ehud53870ITUNINARICAUNIMARCBK99000051901040332110 P.T. 508DIS 1330DINELDINELArt of prolog330916UNINA01134nam0-2200409---450-99000995959040332120150429093357.09783319017204000995959FED01000995959(Aleph)000995959FED0100099595920150428d2014----km-y0itay50------baengCH--------001yyModal interval analysisnew tools for numerical informationMiguel A. Sainz ... [et al.]ChamSpringer2014XVI, 316 p.ill.24 cmLecture notes in mathematics2091Analisi dell'erroreLogica pura del I' ordineDifferenziazioneMetodi iterativi per sistemi lineari511.43Sainz,Miguel A.525064ITUNINARICAUNIMARCBK990009959590403321C-20-(2091388MA1MA165GXX03B1026A2465F10Modal interval analysis822800UNINA