Articoli correlati a A Proof Theory for Description Logics

A Proof Theory for Description Logics - Brossura

Rademaker, Alexandre

 
9781447140030: A Proof Theory for Description Logics
Brossura
ISBN 10: 1447140036 ISBN 13: 9781447140030
Casa editrice: Springer, 2012

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Introduction.- Background.- Sequent Calculus for ALC.- Comparing SCalc with other ALC Deduction Systems.- Natural Deduction for ALC.- A Proof Theory for ALCQI.- Proofs and Explanations.- A Prototype Theorem Prover.- Conclusion.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
1447140036
ISBN 13 
9781447140030
Rilegatura
Paperback
Contatto del produttore
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9781447140016: A Proof Theory for Description Logics

Edizione in evidenza

ISBN 10:  144714001X ISBN 13:  9781447140016
Casa editrice: Springer, 2012
Brossura