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)
A concise introduction to mathematical logic / Wolfgang Rautenberg
A concise introduction to mathematical logic / Wolfgang Rautenberg
Autore Rautenberg, Wolfgang
Edizione [2. ed]
Pubbl/distr/stampa New York, : Springer, 2006
Descrizione fisica XVII, 256 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020]
ISBN 03-87302-94-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0059017
Rautenberg, Wolfgang  
New York, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A concise introduction to mathematical logic / Wolfgang Rautenberg
A concise introduction to mathematical logic / Wolfgang Rautenberg
Autore Rautenberg, Wolfgang
Edizione [2. ed]
Pubbl/distr/stampa New York, : Springer, 2006
Descrizione fisica XVII, 256 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020]
ISBN 03-87302-94-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0059017
Rautenberg, Wolfgang  
New York, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A concise introduction to mathematical logic / Wolfgang Rautenberg
A concise introduction to mathematical logic / Wolfgang Rautenberg
Autore Rautenberg, Wolfgang
Edizione [2. ed]
Pubbl/distr/stampa New York, : Springer, 2006
Descrizione fisica XVII, 256 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020]
ISBN 03-87302-94-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00059017
Rautenberg, Wolfgang  
New York, : Springer, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Constraints meet concurrency / Jacopo Mauro
Constraints meet concurrency / Jacopo Mauro
Autore Mauro, Jacopo
Pubbl/distr/stampa Paris, : Atlantis, 2014
Descrizione fisica XV, 148 p. : ill. ; 24 cm
Soggetto topico 68N17 - Logic programming [MSC 2020]
68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020]
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]
Soggetto non controllato Concurrency theory
Constraint Handling Rules
Constraint programming
Service oriented computing
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0104374
Mauro, Jacopo  
Paris, : Atlantis, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Constraints meet concurrency / Jacopo Mauro
Constraints meet concurrency / Jacopo Mauro
Autore Mauro, Jacopo
Pubbl/distr/stampa Paris, : Atlantis, 2014
Descrizione fisica XV, 148 p. : ill. ; 24 cm
Soggetto topico 68N17 - Logic programming [MSC 2020]
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]
68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020]
Soggetto non controllato Concurrency theory
Constraint Handling Rules
Constraint programming
Service oriented computing
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00104374
Mauro, Jacopo  
Paris, : Atlantis, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Constraints meet concurrency / Jacopo Mauro
Constraints meet concurrency / Jacopo Mauro
Autore Mauro, Jacopo
Edizione [Paris : Atlantis, 2014]
Pubbl/distr/stampa XV, 148 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 68N17 - Logic programming [MSC 2020]
68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020]
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]
ISBN 8-94-6239-066-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0104374
Mauro, Jacopo  
XV, 148 p., : ill. ; 24 cm
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
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-VAN00052072
Doets, Kees  
Cambridge, Mass. ; London, : The MIT press, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic for computer scientists / Uwe Schoning
Logic for computer scientists / Uwe Schoning
Autore Schoning, Uwe
Pubbl/distr/stampa Boston, : Birkhäuser, 1989
Descrizione fisica 166 p. : ill. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-08-17-63453-7
37-643-3453-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0051323
Schoning, Uwe  
Boston, : Birkhäuser, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui