Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Burton, Jim"'
Publikováno v:
EPTCS 239, 2017, pp. 29-42
Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic reasoning are generally much less sophisticated than their sentential cousins. The tasks of exploring levels of automation and abstraction in the cons
Externí odkaz:
http://arxiv.org/abs/1701.07126
Autor:
Burton, Jim
Publikováno v:
Journal of Indian Philosophy, 2020 Apr 01. 48(2), 229-254.
Externí odkaz:
https://www.jstor.org/stable/45285792
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2017 Aug 01. 105(4), 787-815.
Externí odkaz:
https://www.jstor.org/stable/45096620
Autor:
Burton, Jim, Stapleton, Gem
Publikováno v:
Journal of Logic, Language, and Information, 2015 Oct 01. 24(4), 357-359.
Externí odkaz:
http://www.jstor.org/stable/43919285
Publikováno v:
In Journal of Visual Languages and Computing 2011 22(1):90-105
Autor:
Burton, Jim
Publikováno v:
Library Hi Tech News, 2008, Vol. 25, Issue 4, pp. 5-7.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/07419050810890602
Publikováno v:
VINE, 1996, Vol. 26, Issue 2, pp. 25-31.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/eb040603
Publikováno v:
VINE, 1995, Vol. 25, Issue 2, pp. 32-37.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/eb040565
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.