Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Alama, J."'
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.
Publikováno v:
Inside Arguments: Logic and the Study of Argumentation, 207-222
STARTPAGE=207;ENDPAGE=222;TITLE=Inside Arguments
STARTPAGE=207;ENDPAGE=222;TITLE=Inside Arguments
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::110fd1c5d673d3de93ff99696cbe250d
https://research.tilburguniversity.edu/en/publications/39db7114-c3db-4f41-9446-9a4ceb57ec2b
https://research.tilburguniversity.edu/en/publications/39db7114-c3db-4f41-9446-9a4ceb57ec2b
Publikováno v:
Tableaux 2011: Workshops, tutorials and short papers, 82-86
STARTPAGE=82;ENDPAGE=86;TITLE=Tableaux 2011
STARTPAGE=82;ENDPAGE=86;TITLE=Tableaux 2011
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::5e5f677bd3781e180710c53059d01d69
https://research.tilburguniversity.edu/en/publications/216875a0-fb82-409b-81c7-2a7d82e05379
https://research.tilburguniversity.edu/en/publications/216875a0-fb82-409b-81c7-2a7d82e05379
Publikováno v:
TABLEAUX 2011: Workshops, Tutorials, and Short Papers, 82-86
STARTPAGE=82;ENDPAGE=86;TITLE=TABLEAUX 2011: Workshops, Tutorials, and Short Papers
STARTPAGE=82;ENDPAGE=86;TITLE=TABLEAUX 2011: Workshops, Tutorials, and Short Papers
We define a class of dialogue games and prove that existence of winning strategies for the Proponent in this class of games corresponds to validity in classical propositional logic. Many authors have stated similar results without actually proving th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::cd62dde573531e1e22b1e8694596d458
https://dare.uva.nl/personal/pure/en/publications/dialogue-games-for-classical-logic(c5f65127-97d1-4941-a183-b5ca36ad96e3).html
https://dare.uva.nl/personal/pure/en/publications/dialogue-games-for-classical-logic(c5f65127-97d1-4941-a183-b5ca36ad96e3).html
Autor:
Urban, J., Alama, J., Rudnicki, P., Geuvers, J.H., Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P.
Publikováno v:
Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings), 455-469
STARTPAGE=455;ENDPAGE=469;TITLE=Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)
Lecture Notes in Computer Science ; 6167, 455-469. Berlin : Springer
STARTPAGE=455;ENDPAGE=469;TITLE=Lecture Notes in Computer Science ; 6167
Autexier, S. (ed.), Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010, pp. 455-469
Lecture Notes in Computer Science ISBN: 9783642141270
STARTPAGE=455;ENDPAGE=469;TITLE=Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)
Lecture Notes in Computer Science ; 6167, 455-469. Berlin : Springer
STARTPAGE=455;ENDPAGE=469;TITLE=Lecture Notes in Computer Science ; 6167
Autexier, S. (ed.), Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010, pp. 455-469
Lecture Notes in Computer Science ISBN: 9783642141270
Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could profit from such tools, serving both newcomers and experts alike. We
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c88ae7889614c5f30670ded5d90d3982
https://research.tue.nl/nl/publications/4c48aea0-fc8d-44f0-98af-5e550a96f896
https://research.tue.nl/nl/publications/4c48aea0-fc8d-44f0-98af-5e550a96f896
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.
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.
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.