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