01297nam0 2200301 i 450 VAN0005207220240806100458.86002-620-4142-120060912d1994 |0itac50 baengUS|||| |||||From logic to logic programmingKees DoetsCambridge, Mass. ; LondonThe MIT press1994XII, 214 p.24 cm001VAN000520742001 Foundations of computing210 CambridgeLondonMIT03-XXMathematical logic and foundations [MSC 2020]VANC019750MF68N17Logic programming [MSC 2020]VANC020586MFUSCambridge <Mass.>VANL000513DoetsKeesVANV040969726353MIT <editore>VANV111700650ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Doets - From logic to logic programming.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00052072BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1158 08 7473 II 20060912 From logic to logic programming1427379UNICAMPANIA