Zobrazeno 1 - 10
of 230
pro vyhledávání: '"Gilbert, Frederic"'
Autor:
Assaf, Ali, Burel, Guillaume, Cauderlier, Raphaël, Delahaye, David, Dowek, Gilles, Dubois, Catherine, Gilbert, Frédéric, Halmagrand, Pierre, Hermant, Olivier, Saillard, Ronan
Dedukti is a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simple type theory, programming languages, Pure type systems, the C
Externí odkaz:
http://arxiv.org/abs/2311.07185
Publikováno v:
In Brain Stimulation September-October 2023 16(5):1425-1429
Publikováno v:
In Brain Stimulation May-June 2023 16(3):783-789
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.
Publikováno v:
Advanced Healthcare Materials; 10/18/2024, Vol. 13 Issue 26, p1-9, 9p
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.
Autor:
Stevens, Ian, Gilbert, Frederic
Publikováno v:
Ethics & Human Research, 2020 Mar 01. 42(2), 28-33.
Externí odkaz:
https://www.jstor.org/stable/26991468
Publikováno v:
Social Network Analysis and Mining, Springer, 2011, 1, 83-95
Detection of community structures in social networks has attracted lots of attention in the domain of sociology and behavioral sciences. Social networks also exhibit dynamic nature as these networks change continuously with the passage of time. Socia
Externí odkaz:
http://arxiv.org/abs/1409.5040
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.