The following pages link to Wolfgang Bibel (Q287328):
Displaying 50 items.
- (Q98771) (redirect page) (← links)
- Holger H. Hoos (Q98777) (← links)
- In memory of Mark Stickel (Q287330) (← links)
- (Q578926) (redirect page) (← links)
- A deductive solution for plan generation (Q578927) (← links)
- (Q915493) (redirect page) (← links)
- Short proofs of the pigeonhole formulas based on the connection method (Q915494) (← links)
- A bibliography on parallel inference machines (Q1062755) (← links)
- Automated inferencing (Q1070835) (← links)
- Constraint satisfaction from a deductive viewpoint (Q1103421) (← links)
- Tautology testing with a generalized matrix reduction method (Q1132862) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Reduction of cycle unification of type \(Cpg+r\) (Q1383467) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- A vision for automated deduction rooted in the connection method (Q1694445) (← links)
- A comparative study of several proof procedures (Q1836483) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- An approach to a systematic theorem proving procedure in first-order logic (Q2264551) (← links)
- Specifying and Verifying Organizational Security Properties in First-Order Logic (Q3058451) (← links)
- (Q3134856) (← links)
- (Q3217641) (← links)
- Transition Logic Revisited (Q3535602) (← links)
- (Q3667967) (← links)
- Matings in matrices (Q3668887) (← links)
- (Q3732939) (← links)
- (Q3833651) (← links)
- (Q3917511) (← links)
- On Matrices with Connections (Q3922205) (← links)
- (Q3945616) (← links)
- (Q3954845) (← links)
- (Q4069801) (← links)
- (Q4072826) (← links)
- (Q4088305) (← links)
- (Q4103198) (← links)
- (Q4122842) (← links)
- (Q4131707) (← links)
- (Q4144784) (← links)
- (Q4184327) (← links)
- (Q4264713) (← links)
- Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution (Q4377278) (← links)
- (Q4411522) (← links)
- (Q4470527) (← links)
- (Q4524786) (← links)
- (Q4692618) (← links)
- Reminiscences of Kurt Schütte (Q5013897) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- Mind the Divide Surrounding Knowledge Representation (Q5172625) (← links)
- KoMeT (Q5210812) (← links)
- Schnittelimination in einem Teilsystem der einfachen Typenlogik (Q5595150) (← links)
- Mechanizing Mathematical Reasoning (Q5717465) (← links)
