01005nam a2200313 i 450099100356530970753620021217152207.0971030s1986 it a 001 0 ita d8870192792b11831765-39ule_instLE00303222ExLDip.to Biologiaeng595.1870945Tardigrada /a cura di Walter Maucci1st ed.Bologna :Calderini,1986xii, 388 p. :ill. ;25 cmFauna d'Italia ;24Includes indexBibliography: p. 371-381FaunaItalyTardigradaItalyMaucci, Walter.b1183176527-04-1718-12-02991003565309707536LE003 591 FAU01.01 24 (1986) RAM12003000037289le003-E0.00-l- 00000.i1208241718-12-02Tardigrada365560UNISALENTOle00301-01-97ma -itait 0101295nam0 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