01123nam0-2200349---450 99000990308040332120240124161217.0000990308FED01000990308(Aleph)000990308FED0100099030820141008d1866----km-y0itay50------baitaITy-------011yyAnniversario Boppsolenne adunanza nel Museo nazionale di Napoli16 maggio 1866NapoliStabilimento tipografico in S.ta Teresa186615 p.40 cmContiene: Della grammatica comparata di Bopp. Discorso del professor G. F. Lignana2001Della grammatica comparata di BoppBopp, Franz <1791–1867>Lingue indoeuropee410Lignana,Giacomo<1827-1891>436828Museo archeologico nazionale di NapoliITUNINARICAUNIMARCBK990009903080403321GR. FOR. 700 C 015 (1)Bibl.FLFBCFLFBCAnniversario Bopp828881UNINA01564nam0 22004093i 450 RMS005012620251003044343.0081763570X376433570X20080213d1991 ||||0itac50 baengusz01i xxxe z01nLogic of domainsGuo-Qiang ZhangBoston [etc.]Birkhauser1991259 p.24 cmProgress in theoretical computer scienceBibliografia : P. 251-256.001MIL01083422001 Progress in theoretical computer scienceLinguaggi di programmazioneSemanticaFIRUFIC047092ILogica simbolicaFIRSBLC002225ILogica matematicaFIRCFIC000378E005.13LINGUAGGI DI PROGRAMMAZIONE14005.13Specifici linguaggi di programmazione22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Zhang, Guo-Qiang <1960- >RMSV026958070754380ITIT-00000020080213IT-BN0095 NAP 01SALA DING $RMS0050126Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 ZHA.lo 0102 0000009665 VMA A4 1 v.Y 1994042919940429 01Logic of domains1517941UNISANNIO