LFMTP 2016 : proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal / / Association for Computing Machinery
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
LFMTP 2016 : proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal / / Association for Computing Machinery
|
| Pubblicazione: | New York, New York : , : The Association for Computing Machinery, , 2016 |
| Descrizione fisica: | 1 online resource (41 pages) |
| Disciplina: | 005.115 |
| Soggetto topico: | Logic programming |
| Logic programming languages | |
| 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. |
| Titolo autorizzato: | LFMTP 2016 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910376344803321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |