00876cam0 2200253 450 E60020001869920210422104402.020060610d1951 |||||ita|0103 baitaIT<<Il >>sistema preventivo ed educativos. Giovanni Boscointr. Celestini PulciniBolognaLa Nuova Diana Scolastica1951127 p.22 cmGiovanni Bosco, santoA600200036643070386123Pulcini, CelestinoA600200036644070ITUNISOB20210422RICAUNISOBUNISOB3704305E600200018699M 102 Monografia moderna SBNM370000287Si4305acquistopregresso1UNISOBUNISOB20060610065213.020190508112655.0SpinosaSistema preventivo ed educativo1689479UNISOB01992oam 2200445zu 450 991087262740332120241212215201.0(CKB)111055184264050(SSID)ssj0000558493(PQKBManifestationID)12250531(PQKBTitleCode)TC0000558493(PQKBWorkID)10558734(PQKB)10290383(NjHacI)99111055184264050(EXLCZ)9911105518426405020160829d1995 uy engur|||||||||||txtccrLogic in Computer Science, 10th Symposium on (LICS '95[Place of publication not identified]IEEE Computer Society Press19951 online resource (xiii, 518 pages) illustrationsBibliographic Level Mode of Issuance: Monograph9780818670503 0818670509 Includes bibliographical references.The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a complete proof system for QPTL; the semantic challenge of Verilog HDL; experience using type theory as a foundation for computer science; and origins and metamorphoses of the trinity--logic, nets, automata. No index. Annotation copyright by Book News, Inc., Portland, OR.Computer scienceMathematicsCongressesLogic, Symbolic and mathematicalCongressesComputer scienceMathematicsLogic, Symbolic and mathematical004.0151Kozen Dexter1951-65955PQKBBOOK9910872627403321Logic in Computer Science, 10th Symposium on (LICS '954207255UNINA