no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A phytography of WALDMEISTER
|
Löchner, Bernd |
|
2002 |
15 |
2,3 |
p. 127-133 |
article |
2 |
Calendar
|
|
|
2002 |
15 |
2,3 |
p. 167 |
article |
3 |
E – a brainiac theorem prover
|
Schulz, Stephan |
|
2002 |
15 |
2,3 |
p. 111-126 |
article |
4 |
New developments in Inductive Learning
|
Ramos‐Jiménez, Gonzalo |
|
2002 |
15 |
2,3 |
p. 161-162 |
article |
5 |
Strong and weak points of the MUSCADET theorem prover – examples from CASC‐JC
|
Pastre, Dominique |
|
2002 |
15 |
2,3 |
p. 147-160 |
article |
6 |
The design and implementation of VAMPIRE
|
Riazanov, Alexandre |
|
2002 |
15 |
2,3 |
p. 91-110 |
article |
7 |
The development of CASC
|
Pelletier, Francis Jeffry |
|
2002 |
15 |
2,3 |
p. 79-90 |
article |
8 |
The impact of CASC in the development of automated deduction systems
|
Nieuwenhuis, Robert |
|
2002 |
15 |
2,3 |
p. 77-78 |
article |
9 |
TPTP, CASC and the development of a semantically guided theorem prover
|
Hodgson, Kahlil |
|
2002 |
15 |
2,3 |
p. 135-146 |
article |
10 |
Transformation Rules and Strategies for Functional‐Logic Programs
|
Moreno, Ginés |
|
2002 |
15 |
2,3 |
p. 163-165 |
article |