|
Scheda bibliografica proveniente da importazione di metadati da altro sistema |
| Tipo: |
Testo a stampa, Monografia |
| Titolo: |
Completeness, confluence, and related properties of clause graph resolution |
| Pubblicazione: |
London : Pitman, 1991 |
| Descrizione fisica: |
181 p. 24 cm. (Research notes in artificial intelligence) |
| Titolo uniforme: |
Completeness, confluence, and related properties of clause graph resolution |
| Altra responsabilità: |
Eisinger, Norbert |
| Classificazione Dewey: |
006.3 ed.22 Intelligenza artificiale |
| Lingua della pubblicazione: |
Indeterminata |
| Paese di pubblicazione: |
Indefinito |
| Codice identificativo: |
IT/ItRC/00199536 |
| data di importazione: |
01-01-2014 |
Lista sintetica
CNR - Biblioteca Centrale del CNR "Guglielmo Marconi" (Roma)
SEI QUI: HOME
SCHEDA BIBLIOGRAFICA
