01026cam0 2200277 450 E60020005676520201008073051.0363143108220091119d1990 |||||ita|0103 bagerSPSubstantielles Wissen und subjektives Handelndargestellt in einem Vergleich von Hegel und SchopenhauerMatthias KoßlerFrankfurt am MainBernNew YorkParisLang1990310 p.21 cmReihe XX PhilosphieVol.327001LAEC000277742001 *Reihe XX PhilosphieVol.327Koßler, MatthiasA600200058353070599870ITUNISOB20201008RICAUNISOBUNISOB10072727E600200056765M 102 Monografia moderna SBNM100008326Si72727acquistopregresso1UNISOBUNISOB20091119104041.020201008073016.0AlfanoSubstantielles Wissen und subjektives Handeln1705933UNISOB01742nam0 22004093i 450 NAP039661720251003044249.0041248680620080211d1993 ||||0itac50 baenggbz01i xxxe z01nLogic and specificationextending VDM-SL for advanced formal specificationCornelis A. MiddelburgLondon [etc.]Chapman & Hall computing1993XI, 404 p.24 cmComputer science. Research and practice1Bibliografia: P. [391]-395.001NAP03966242001 Computer science. Research and practice1Elaboratori elettroniciProgrammazioneLinguaggiFIRCFIC011611ILinguaggi di programmazioneSemanticaFIRUFIC047092ILogica simbolicaFIRSBLC002225ILogica matematicaFIRCFIC000378E005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Middelburg, Cornelis A.NAPV105749070770819ITIT-00000020080211IT-BN0095 NAP 01SALA DING $NAP0396617Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 MID.lo 0102 0000014445 VMA A4 1 v.Y 2008021120080211 01Logic and specification1572939UNISANNIO