The following pages link to (Q3738607):
Displaying 14 items.
- A method of logical inference of modified conclusions (Q733954) (← links)
- Automation methods for logical derivation and their application in the control of dynamic and intelligent systems (Q742012) (← links)
- Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer (Q759743) (← links)
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (Q899436) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods (Q1581358) (← links)
- Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques (Q1581359) (← links)
- (Q3289367) (← links)
- (Q3409868) (← links)
- SOLAR: An automated deduction system for consequence finding (Q3568229) (← links)
- (Q4539642) (← links)
- How to Produce Information About a Given Entity Using Automated Deduction Methods (Q5170287) (← links)
- Automating Coherent Logic (Q5387843) (← links)
- (Q5770382) (← links)
