Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
LFMTP 2016 : proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal / / Association for Computing Machinery
| 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 | 005.115 |
| Soggetto topico |
Logic programming
Logic programming languages |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376344803321 |
| New York, New York : , : The Association for Computing Machinery, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic programming languages : constraints, functions, and objects / / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten
| Logic programming languages : constraints, functions, and objects / / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten |
| Pubbl/distr/stampa | Cambridge, Mass., : MIT Press, ©1993 |
| Descrizione fisica | 1 online resource (xv, 207 p.) |
| Disciplina | 005.13/1 |
| Altri autori (Persone) |
AptKrzysztof R. <1949->
BakkerJ. W. de <1939-> (Jacobus Willem) RuttenJ. J. M. M |
| Collana | Logic programming |
| Soggetto topico | Logic programming languages |
| Soggetto non controllato |
Logic programming
COMPUTER SCIENCE/Artificial Intelligence COMPUTER SCIENCE/Programming Languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910260634503321 |
| Cambridge, Mass., : MIT Press, ©1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
