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.
Higher-order and symbolic computation
| Higher-order and symbolic computation |
| Pubbl/distr/stampa | [Dordrecht], : Kluwer Academic Publishers, 1998- |
| Disciplina | 005.133 |
| Soggetto topico |
LISP (Computer program language)
Computer programming LISP (Langage de programmation) - Périodiques Programmation (Informatique) - Périodiques LISP (Llenguatge de programació) Programació (Ordinadors) |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 2212-0793 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910143380703321 |
| [Dordrecht], : Kluwer Academic Publishers, 1998- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The journal of logic and algebraic programming
| The journal of logic and algebraic programming |
| Pubbl/distr/stampa | [Amsterdam] ; ; [New York] : , : Elsevier Science, , ©2001-©2014 |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Logic programming
Computer programming Logic programming - Periodicals Programmation logique - Périodiques Programmation (Informatique) - Périodiques Programmation logique Programmation (Informatique) Wiskundige logica Software |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1873-5940 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | J. logic and algebraic programming |
| Record Nr. | UNINA-9910333149703321 |
| [Amsterdam] ; ; [New York] : , : Elsevier Science, , ©2001-©2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The journal of logic programming
| The journal of logic programming |
| Pubbl/distr/stampa | New York, : Elsevier Science |
| Soggetto topico |
Logic programming
Computer programming Programmation logique - Périodiques Programmation (Informatique) - Périodiques |
| ISSN | 1873-5789 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996217043103316 |
| New York, : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The journal of logic programming
| The journal of logic programming |
| Pubbl/distr/stampa | New York, : Elsevier Science |
| Soggetto topico |
Logic programming
Computer programming Programmation logique - Périodiques Programmation (Informatique) - Périodiques Programmation logique Programmation (Informatique) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1873-5789 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145191503321 |
| New York, : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Science of computer programming
| Science of computer programming |
| Pubbl/distr/stampa | [Amsterdam], : Elsevier Science |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Computer programming
Programmation (Informatique) - Périodiques |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1872-7964 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218058203316 |
| [Amsterdam], : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Science of computer programming
| Science of computer programming |
| Pubbl/distr/stampa | [Amsterdam], : Elsevier Science |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Computer programming
Programmation (Informatique) - Périodiques Programmation (Informatique) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1872-7964 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145776203321 |
| [Amsterdam], : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
