01302nam0 22003373i 450 UBO278599720251003044423.0026201123920080218d1991 ||||0itac50 baengusz01i xxxe z01nWarren's abstract machinea tutorial reconstructionHassan Aït-KaciCambridgeLondonMIT Pressc1991XVI, 114 p.ill.24 cm.Logic programming001UBO00096722001 Logic programmingProlog <linguaggio di programmazione>FIRUFIC000178EElaboratori elettroniciLinguaggio PrologFIRCFIC024417I006.3INTELLIGENZA ARTIFICIALE14006.3Metodi speciali di elaborazione. Intelligenza artificiale22Aït-Kaci, Hassan <1954- >AQ1V002711070771998ITIT-00000020080218IT-BN0095 NAP 01SALA DING $UBO2785997Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 006.3 AIT.wa 0102 0000003785 VMA A4 1 v.Y 1993091319930913 01Warren's abstract machine1575776UNISANNIO