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
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An Isomorph-Free SEM-Like Enumeration of Models Boy de la Tour, Thierry
2005
125 2 p. 91-113
23 p.
artikel
2 Failure Reasoning in Multiple-Strategy Proof Planning Meier, Andreas
2005
125 2 p. 67-90
24 p.
artikel
3 Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics Lutovac, Tatjana
2005
125 2 p. 115-147
33 p.
artikel
4 Logical Semantics for the Rewriting Calculus Stump, Aaron
2005
125 2 p. 149-164
16 p.
artikel
5 Preface Bonacina, Maria Paola
2005
125 2 p. 1-3
3 p.
artikel
6 PVS Strategies for Proving Abstraction Properties of Automata Mitra, Sayan
2005
125 2 p. 45-65
21 p.
artikel
7 Strategic Issues, Problems and Challenges in Inductive Theorem Proving Gramlich, Bernhard
2005
125 2 p. 5-43
39 p.
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland