|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
19 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Barcelona |
Robert Nieuwenhuis |
1997 |
18 | 2 |
p. 171-176 6 p. |
artikel |
|
| 2 | CLIN-E - Smallest Instance First Hyper-Linking |
Geoffrey D. Alexander |
1997 |
18 | 2 |
p. 177-182 6 p. |
artikel |
|
| 3 | CLIN-S - A Semantically Guided First-Order Theorem Prover |
Heng Chu |
1997 |
18 | 2 |
p. 183-188 6 p. |
artikel |
|
| 4 | Conclusions about the CADE-13 ATP System Competition |
Francis Jeffry Pelletier |
1997 |
18 | 2 |
p. 287-296 10 p. |
artikel |
|
| 5 | DISCOUNT - A Distributed and Learning Equational Prover |
Jörg Denzinger |
1997 |
18 | 2 |
p. 189-198 10 p. |
artikel |
|
| 6 | Gandalf |
Tanel Tammet |
1997 |
18 | 2 |
p. 199-204 6 p. |
artikel |
|
| 7 | LINUS - A Link Instantion Prover with Unit Support |
Reinhold Letz |
1997 |
18 | 2 |
p. 205-210 6 p. |
artikel |
|
| 8 | Otter - The CADE-13 Competition Incarnations |
William McCune |
1997 |
18 | 2 |
p. 211-220 10 p. |
artikel |
|
| 9 | RRTP - A Replacement Rule Theorem Prover |
M. Paramasivam |
1997 |
18 | 2 |
p. 221-226 6 p. |
artikel |
|
| 10 | Satchmo - The Compiling and Functional Variants |
Tim Geisler |
1997 |
18 | 2 |
p. 227-236 10 p. |
artikel |
|
| 11 | SETHEO and E-SETHEO - The CADE-13 Systems |
Max Moser |
1997 |
18 | 2 |
p. 237-246 10 p. |
artikel |
|
| 12 | SPASS - Version 0.49 |
Christoph Weidenbach |
1997 |
18 | 2 |
p. 247-252 6 p. |
artikel |
|
| 13 | SPTHEO - A Parallel Theorem Prover |
Christian B. Suttner |
1997 |
18 | 2 |
p. 253-258 6 p. |
artikel |
|
| 14 | The CADE-13 ATP System Competition |
Geoff Sutcliffe |
1997 |
18 | 2 |
p. 137-138 2 p. |
artikel |
|
| 15 | The Design of the CADE-13 ATP System Competition |
Christian Suttner |
1997 |
18 | 2 |
p. 139-162 24 p. |
artikel |
|
| 16 | The Procedures of the CADE-13 ATP System Competition |
Geoff Sutcliffe |
1997 |
18 | 2 |
p. 163-169 7 p. |
artikel |
|
| 17 | The Results - of the CADE-13 ATP System Competition |
Geoff Sutcliffe |
1997 |
18 | 2 |
p. 271-286 16 p. |
artikel |
|
| 18 | Violet |
Steve Greenbaum |
1997 |
18 | 2 |
p. 259-264 6 p. |
artikel |
|
| 19 | WALDMEISTER - High-Performance Equational Deduction |
Thomas Hillenbrand |
1997 |
18 | 2 |
p. 265-270 6 p. |
artikel |
19 gevonden resultaten