Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'David Fernández-Duque', doba hledání: 0,02 s. Upřesnit hledání
  1. 1
    The intuitionistic temporal logic of dynamical systems

    The intuitionistic temporal logic of dynamical systems Autor David Fernández-Duque

    Vydáno 2018-07-01
    Získat plný text
    Článek
  2. 2
    Dynamic Cantor Derivative Logic

    Dynamic Cantor Derivative Logic Autor David Fernández-Duque, Yoàv Montacute

    Vydáno 2023-12-01
    Získat plný text
    Článek

Vyhledávací nástroje: