01324nam0 22003373i 450 RMS171665620240830063345.0047193485220080214d1993 ||||0itac50 baengusz01i xxxe z01nMany-sorted logic and its applicationsedited by K. Meinke and J.V. TuckerChichesterNew YorkWiley©1993XVII, 397 p.ill.24 cm.Wiley professional computing001MIL00715232001 Wiley professional computingMatematicaApplicazioni all'informaticaFIRNAPC135249ILogica simbolicaFIRNAPC147266I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Meinke, KarlAQ1V004177Tucker, John V. <1952- >PUVV023522ITIT-NA007920080214IT-BN0095 RMS1716656Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 MANSLA 0102 0000012015 B A4 1 v.3 1994070519940705 01Many-sorted logic and its applications1382090UNISANNIO