Chaining techniques for automated theorem proving in many-valued logics

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2000, Pages 337-344

  Ganzinger, Harald ^a   Sofronie Stokkermans, Viorica ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTATIONAL METHODS; CONSTRAINT THEORY; SET THEORY; THEOREM PROVING;

AUTOMATED THEOREM PROVING; CHAINING TECHNIQUES; INFERENCE SYSTEM;

MANY VALUED LOGICS;

EID: 0033702419     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)