Automated Deduction in Classical and Non-Classical Logics

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Ricardo Caferra

Themen in »Automated Deduction in Classical and Non-Classical Logics«

Classical Logic Modal Logics Nonclassical Logics Resolution Tableaux-Based Inference Theorem Proving Variable automated deduction automated theorem proving complexity description logics logic proving

Stimmen zu »Automated Deduction in Classical and Non-Classical Logics«

Details

Link teilen