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
 
                             4 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A tool for deciding the satisfiability of continuous-time metric temporal logic Bersani, Marcello M.
2015
53 2 p. 171-206
artikel
2 Efficient execution of dynamically controllable simple temporal networks with uncertainty Hunsberger, Luke
2015
53 2 p. 89-147
artikel
3 Optimization in temporal qualitative constraint networks Condotta, Jean-François
2015
53 2 p. 149-170
artikel
4 Special issue on temporal representation and reasoning (TIME’13) Sanchez, Cesar
2016
53 2 p. 87-88
artikel
                             4 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland