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