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
 
                             6 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Framework for the Verification of Parameterized Infinite-state Systems* Alberti, Francesco
2017
150 1 p. 1-24
artikel
2 From Argumentation Frameworks to Voting Systems and Back* Benedetti, Irene
2017
150 1 p. 25-48
artikel
3 Herbrand-satisfiability of a Quantified Set-theoretic Fragment* Cantone, Domenico
2017
150 1 p. 49-71
artikel
4 JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi Ferrari, Mauro
2017
150 1 p. 119-142
artikel
5 Preface Giordano, Laura
2017
150 1 p. v-vi
artikel
6 Program Verification using Constraint Handling Rules and Array Constraint Generalizations* De Angelis, Emanuele
2017
150 1 p. 73-117
artikel
                             6 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland