00841nam0-22002891i-450-99000686578040332120001010000686578FED01000686578(Aleph)000686578FED0100068657820001010d--------km-y0itay50------baitay-------001yyMythes, rites et transes à MadagascarAngano, Joro et Tromba SakalavaRobert Jaovelo-Dzao.AntananarivoAmbozontanyParisKarthala1996.392 p.24 cm969.1Jaovelo-Dzao,Robert253593ITUNINARICAUNIMARCBK990006865780403321XIV E 405932562FSPBCFSPBCMythes, rites et transes à Madagascar624890UNINAGEN0101295nam0 2200301 i 450 VAN005207220231214115355.60602-620-4142-120060912d1994 |0itac50 baengUS|||| |||||From logic to logic programmingKees DoetsCambridge, Mass. ; LondonThe MIT press1994XII, 214 p.24 cm001VAN00520742001 Foundations of computing210 CambridgeLondonMIT.03-XXMathematical logic and foundations [MSC 2020]VANC019750MF68N17Logic programming [MSC 2020]VANC020586MFUSCambridge <Mass.>VANL000513DoetsKeesVANV040969726353MIT <editore>VANV111700650ITSOL20231215RICA/sebina/repository/catalogazione/documenti/Doets - From logic to logic programming.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0052072BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1158 08 7473 II 20060912 From logic to logic programming1427379UNICAMPANIA