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 |
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 |
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 |
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-9910877561503321 |
Pouly Marc <1980-> | ||
Hoboken, New Jersey, : Wiley, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|