| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996464402003316 |
|
|
Titolo |
Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings / / Zhe Hou, Vijay Ganesh (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (384 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; 12971 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Automatic theorem proving |
Computer logic |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996689982603316 |
|
|
Autore |
QUADRI, Giovanni |
|
|
Titolo |
Un presunto caso di legge atipica : la legge che regola i rapposti fra stato e confessioni religiose diverse dalla cattolica / Giovanni Quadri |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Comunità religiose - Rapporti [con lo] Stato - Italia |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Estratto da: Scritti degli allievi offerti ad Alfonso Tesauro nel quarantesimo anno dell'insegnamento, Milano : Giuffrè, 1968. vol. 2 |
|
|
|
|
|
|
|
| |