|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A phytography of WALDMEISTER |
Löchner, Bernd |
2002 |
15 | 2,3 |
p. 127-133 |
artikel |
|
| 2 | Calendar |
2002 |
15 | 2,3 |
p. 167 |
artikel |
||
| 3 | E – a brainiac theorem prover |
Schulz, Stephan |
2002 |
15 | 2,3 |
p. 111-126 |
artikel |
|
| 4 | New developments in Inductive Learning |
Ramos‐Jiménez, Gonzalo |
2002 |
15 | 2,3 |
p. 161-162 |
artikel |
|
| 5 | Strong and weak points of the MUSCADET theorem prover – examples from CASC‐JC |
Pastre, Dominique |
2002 |
15 | 2,3 |
p. 147-160 |
artikel |
|
| 6 | The design and implementation of VAMPIRE |
Riazanov, Alexandre |
2002 |
15 | 2,3 |
p. 91-110 |
artikel |
|
| 7 | The development of CASC |
Pelletier, Francis Jeffry |
2002 |
15 | 2,3 |
p. 79-90 |
artikel |
|
| 8 | The impact of CASC in the development of automated deduction systems |
Nieuwenhuis, Robert |
2002 |
15 | 2,3 |
p. 77-78 |
artikel |
|
| 9 | TPTP, CASC and the development of a semantically guided theorem prover |
Hodgson, Kahlil |
2002 |
15 | 2,3 |
p. 135-146 |
artikel |
|
| 10 | Transformation Rules and Strategies for Functional‐Logic Programs |
Moreno, Ginés |
2002 |
15 | 2,3 |
p. 163-165 |
artikel |
10 gevonden resultaten