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