Zobrazeno 1 - 10
of 4 703
pro vyhledávání: '"Propositional calculus"'
Autor:
Piazza, Mario1 (AUTHOR), Pulcini, Gabriele2 (AUTHOR), Sabatini, Andrea1 (AUTHOR) andrea.sabatini@sns.it
Publikováno v:
Journal of Philosophical Logic. Dec2023, Vol. 52 Issue 6, p1575-1602. 28p.
Autor:
Siegel, Pierre1 (AUTHOR), Doncescu, Andrei2 (AUTHOR) andrei.doncescu@laas.fr, Risch, Vincent1 (AUTHOR), Sené, Sylvain1 (AUTHOR)
Publikováno v:
Journal of Supercomputing. Mar2023, Vol. 79 Issue 4, p4556-4581. 26p.
Autor:
Hartonas, Chrysafis1 (AUTHOR) hartonas@uth.gr
Publikováno v:
Algebra Universalis. Feb2024, Vol. 85 Issue 1, p1-29. 29p.
Autor:
Inoué, Takao1 (AUTHOR), Hanaoka, Riku2 (AUTHOR)
Publikováno v:
Formalized Mathematics. Apr2022, Vol. 30 Issue 1, p1-12. 12p.
Autor:
Moreira de Oliveira Jr, Montauban1, de Abreu Mendes, Felipe1, Eon, Jean-Guillaume2 jgeon@iq.ufrj.br
Publikováno v:
Acta Crystallographica. Section A, Foundations & Advances. Mar2022, Vol. 78 Issue 2, p115-127. 13p.