01295nam0 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 programming1427379UNICAMPANIA00950nam0 22002411i 450 UON0020688120231205103317.73820030730d1976 |0itac50 baitaIT|||| |||||ˆLa ‰società feudaleMarc BlochTorinoEinaudi1976. - XI551 p. ; 20 cm.FEUDALESIMOSAGGIUONC034876FIITTorinoUONL000014BlochMarcUONV01114936100EinaudiUONV246211650ITSOL20250214RICAUON00206881SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI A A 0252 SI SC 585 5 0252 SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI B F 0099 SI SC 7506 5 0099 Società feudale311133UNIOR