| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990007212260403321 |
|
|
Autore |
Marra, Eugenio |
|
|
Titolo |
Le situazioni soggettive previdenziali del lavoratore artigiano e i fondamenti della pensione. / Eugenio Marra |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano-Varese : Istituto Editoriale Cisalpino, 1970 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910872627403321 |
|
|
Autore |
Kozen Dexter <1951-> |
|
|
Titolo |
Logic in Computer Science, 10th Symposium on (LICS '95 |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE Computer Society Press, 1995 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiii, 518 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science - Mathematics |
Logic, Symbolic and mathematical |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
| |