|
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 BDD-Based Simplification and Skolemization Procedure |
GOUBAULT, JEAN |
1995 |
3 | 6 |
p. 827-855 |
article |
|
| 2 | Acknowledgements |
1995 |
3 | 6 |
p. 954-954 |
article |
||
| 3 | Efficient Inverse Tableaux |
MONDADORI, MARCO |
1995 |
3 | 6 |
p. 939-953 |
article |
|
| 4 | Exploiting Equivalences in Connection Calculi |
BRÜNING, STEFAN |
1995 |
3 | 6 |
p. 857-886 |
article |
|
| 5 | First-Order Tableaux with Sorts |
WEIDENBACH, CHRISTOPH |
1995 |
3 | 6 |
p. 887-906 |
article |
|
| 6 | Interest Group in Pure and Applied Logics (IGPL) |
1995 |
3 | 6 |
p. 955-956 |
article |
||
| 7 | Propositional Abduction in Modal Logic |
MAYER, MARTA CIALDEA |
1995 |
3 | 6 |
p. 907-919 |
article |
|
| 8 | Regressive Merging in Model Elimination Tableau-Based Theorem Provers |
WALLACE, KEVIN |
1995 |
3 | 6 |
p. 921-937 |
article |
|
| 9 | Subscription |
1995 |
3 | 6 |
p. 960-960 |
article |
||
| 10 | The TPTP Problem Library, Release v1.2.0 |
Sutcliffe, Geoff |
1995 |
3 | 6 |
p. 957-959 |
article |
10 results found