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)
Generic inference [[electronic resource] ] : a unifying theory for automated reasoning / / Marc Pouly, Jürg Kohlas
Generic inference [[electronic resource] ] : a unifying theory for automated reasoning / / Marc Pouly, Jürg Kohlas
Autore Pouly Marc <1980->
Edizione [1st edition]
Pubbl/distr/stampa Hoboken, New Jersey, : Wiley, 2011
Descrizione fisica 1 online resource (486 p.)
Disciplina 006.3015181
519.5/4
Altri autori (Persone) KohlasJürg <1939->
Soggetto topico Valuation theory
Algorithms
Algebra, Abstract
Soggetto genere / forma Electronic books.
ISBN 1-283-12633-8
9786613126337
1-118-01086-8
1-118-01087-6
1-118-01084-1
Classificazione TEC008000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Logical computation -- pt. 2. Generic constructions -- pt. 3. Applications.
Record Nr. UNINA-9910140976103321
Pouly Marc <1980->  
Hoboken, New Jersey, : Wiley, 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Generic inference [[electronic resource] ] : a unifying theory for automated reasoning / / Marc Pouly, Jürg Kohlas
Generic inference [[electronic resource] ] : a unifying theory for automated reasoning / / Marc Pouly, Jürg Kohlas
Autore Pouly Marc <1980->
Edizione [1st edition]
Pubbl/distr/stampa Hoboken, New Jersey, : Wiley, 2011
Descrizione fisica 1 online resource (486 p.)
Disciplina 006.3015181
519.5/4
Altri autori (Persone) KohlasJürg <1939->
Soggetto topico Valuation theory
Algorithms
Algebra, Abstract
ISBN 1-283-12633-8
9786613126337
1-118-01086-8
1-118-01087-6
1-118-01084-1
Classificazione TEC008000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Logical computation -- pt. 2. Generic constructions -- pt. 3. Applications.
Record Nr. UNINA-9910830767103321
Pouly Marc <1980->  
Hoboken, New Jersey, : Wiley, 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Generic inference [[electronic resource] ] : a unifying theory for automated reasoning / / Marc Pouly, Jürg Kohlas
Generic inference [[electronic resource] ] : a unifying theory for automated reasoning / / Marc Pouly, Jürg Kohlas
Autore Pouly Marc <1980->
Edizione [1st edition]
Pubbl/distr/stampa Hoboken, New Jersey, : Wiley, 2011
Descrizione fisica 1 online resource (486 p.)
Disciplina 006.3015181
519.5/4
Altri autori (Persone) KohlasJürg <1939->
Soggetto topico Valuation theory
Algorithms
Algebra, Abstract
ISBN 1-283-12633-8
9786613126337
1-118-01086-8
1-118-01087-6
1-118-01084-1
Classificazione TEC008000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Logical computation -- pt. 2. Generic constructions -- pt. 3. Applications.
Record Nr. UNINA-9910841297003321
Pouly Marc <1980->  
Hoboken, New Jersey, : Wiley, 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui