Vai al contenuto principale della pagina
Autore: | Leitsch, Alexander |
Titolo: | The resolution calculus / Alexander Leitsch |
Pubblicazione: | Berlin, : Springer, 1997 |
Descrizione fisica: | VIII, 300 p. : ill. ; 24 cm |
Soggetto topico: | 68-XX - Computer science [MSC 2020] |
68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] | |
Titolo autorizzato: | Resolution calculus |
ISBN: | 35-406-1882-1 |
978-36-426-4473-3 | |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | VAN0053700 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | /sebina/repository/catalogazione/documenti/Leitsch - The resolution calculus.pdf |
Opac: | Controlla la disponibilità qui |