top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
Volume 1 / Kurt-Gödel-Gesellschaft
Volume 1 / Kurt-Gödel-Gesellschaft
Autore Kurt-Gödel Society
Pubbl/distr/stampa Wien, : Springer, 1995
Descrizione fisica 122 p. : ill. ; 24 cm
Soggetto topico 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Algorithm analysis and problem complexity
Automated deduction
Completeness
Logic programming
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00295493
Kurt-Gödel Society  
Wien, : Springer, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui