01362nam0 22003493i 450 RMS171665620251003044345.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'informaticaFIRRAVC058126ILogica simbolicaFIRSBLC002225I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Meinke, KarlAQ1V004177Tucker, John V. <1952- >PUVV023522ITIT-00000020080214IT-BN0095 NAP 01SALA DING $RMS1716656Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 MANSLA 0102 0000012015 VMA A4 1 v.Y 1994070519940705 01Many-sorted logic and its applications1382090UNISANNIO