Questo è quello che aggiungi al carrello

Using Sophisticated Models in Resolution Theorem Proving

Autori

David M. Sandford

Parametri

Maggiori informazioni sul libro

1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

Acquisto del libro

Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford

Lingua
Pubblicato: 1980
product-detail.submit-box.info.binding: (In brossura),
Condizioni del libro: In buone condizioni
Prezzo: 1,19 €

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Dettagli dell'edizioneSuggerisci una correzione

Titolo: Using Sophisticated Models in Resolution Theorem Proving
Lingua: Inglese
Autori: David M. Sandford
Editore: Springer-Verlag
Pubblicato: 1980
Formato: In brossura
ISBN10: 3540102310
ISBN13: 9783540102311
Serie
Tag: Saggistica, Tecnologia & Ingegneria, Computer & Internet
Descrizione: 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.