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.
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 | ||
| ||
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 | ||
| ||
Generic inference : a unifying theory for automated reasoning / / Marc Pouly, Jurg Kohlas
| Generic inference : a unifying theory for automated reasoning / / Marc Pouly, Jurg Kohlas |
| Autore | Pouly Marc <1980-> |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, New Jersey, : Wiley, 2011 |
| Descrizione fisica | 1 online resource (486 p.) |
| Disciplina | 519.5/4 |
| Altri autori (Persone) | KohlasJurg <1939-> |
| Soggetto topico |
Valuation theory
Algorithms Algebra, Abstract |
| ISBN |
9786613126337
9781283126335 1283126338 9781118010860 1118010868 9781118010877 1118010876 9781118010846 1118010841 |
| 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. |
| Altri titoli varianti | Unifying theory for automated reasoning |
| Record Nr. | UNINA-9911020045203321 |
|
Pouly Marc <1980->
|
||
| Hoboken, New Jersey, : Wiley, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||