Automated Reasoning with Analytic Tableaux and Related Methods

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Harrie de Swart

Themen in »Automated Reasoning with Analytic Tableaux and Related Methods«

Resolution Variable automated deduction automated reasoning automated theorem proving complexity inference engine knowledge knowledge representation logic mathematics parallelism proving theorem proving verification

Stimmen zu »Automated Reasoning with Analytic Tableaux and Related Methods«

Details

Link teilen