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 programming1427379UNICAMPANIA