01322nam0 22003373i 450 UBO278599720240816063130.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>FIRUFIC000178IProgrammazione logicaFIRNAPC223491IELABORATORI ELETTRONICILinguaggio PrologFIRNAPC009539I006.3INTELLIGENZA ARTIFICIALE14006.3METODI SPECIALI DI ELABORAZIONE. INTELLIGENZA ARTIFICIALE22Aït-Kaci, Hassan <1954- >AQ1V002711070771998ITIT-NA007920080218IT-BN0095 UBO2785997Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 006.3 AIT.wa 0102 0000003785 B A4 1 v.3 1993091319930913 01Warren's abstract machine1575776UNISANNIO