The following pages link to Bliksem (Q33154):
Displaying 15 items.
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- Octopus: combining learning and parallel search (Q861370) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- Limited resource strategy in resolution theorem proving (Q1404979) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- Automated proof construction in type theory using resolution (Q1868508) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- (Q2723415) (← links)
- Resolution in modal, description and hybrid logic (Q2772883) (← links)
- Resolution-based methods for modal logics (Q4487263) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)