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)
Basic model theory / Kees Doets
Basic model theory / Kees Doets
Autore Doets, Kees
Pubbl/distr/stampa Stanford, : CSLI ; Folli, 1996
Descrizione fisica VIII, 130 p. ; 23 cm.
Soggetto topico 03Cxx - Model theory [MSC 2020]
ISBN 15-7586-048-1
978-15-7586-048-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0056096
Doets, Kees  
Stanford, : CSLI ; Folli, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Basic model theory / Kees Doets
Basic model theory / Kees Doets
Autore Doets, Kees
Pubbl/distr/stampa Stanford, : CSLI ; Folli, 1996
Descrizione fisica VIII, 130 p. ; 23 cm
Soggetto topico 03Cxx - Model theory [MSC 2020]
ISBN 15-7586-048-1
978-15-7586-048-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0056096
Doets, Kees  
Stanford, : CSLI ; Folli, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
From logic to logic programming / Kees Doets
From logic to logic programming / Kees Doets
Autore Doets, Kees
Pubbl/distr/stampa Cambridge, Mass. ; London, : The MIT press, 1994
Descrizione fisica XII, 214 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020]
ISBN 02-620-4142-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0052072
Doets, Kees  
Cambridge, Mass. ; London, : The MIT press, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
From logic to logic programming / Kees Doets
From logic to logic programming / Kees Doets
Autore Doets, Kees
Pubbl/distr/stampa Cambridge, Mass. ; London, : The MIT press, 1994
Descrizione fisica XII, 214 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020]
ISBN 02-620-4142-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0052072
Doets, Kees  
Cambridge, Mass. ; London, : The MIT press, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui