| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009604460403321 |
|
|
Autore |
Istituto geografico militare |
|
|
Titolo |
Sersale [Documento cartografico] / IGM |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
1 carta : color. ; 37 x 42 cm su foglio 51 x 62 cm |
|
|
|
|
|
|
Collana |
|
Carta d'Italia ; 237, quadrante 2, tavoletta SO |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale cartografico a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Il meridiano di riferimento รจ Monte Mario, Roma |
Rilievo fotogrammetrico del 1956 |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910376344803321 |
|
|
Titolo |
LFMTP 2016 : proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal / / Association for Computing Machinery |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, New York : , : The Association for Computing Machinery, , 2016 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (41 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic programming |
Logic programming languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Annotation Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Jun 23, 2016-Jun 23, 2016 Porto, Portugal. You can view more information about this proceeding and all of ACM#65533;s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl. |
|
|
|
|
|
|
|
| |