Zobrazeno 1 - 10
of 14 664
pro vyhledávání: '"Proof Theory"'
Autor:
Balacheff, Nicolas1 Nicolas.Balacheff@imag.fr, Almouloud, Saddo Ag2 saddoag@gmail.com
Publikováno v:
Educação Matemática Pesquisa. 2024, Vol. 26 Issue 2, p281-342. 62p.
Autor:
Czerwinski, Sebastian1
Publikováno v:
Discrete Mathematics & Theoretical Computer Science (DMTCS). 2024, Vol. 26 Issue 2, p1-5. 5p.
Autor:
Yi, Jirong1 (AUTHOR), Dasgupta, Soura1 (AUTHOR), Cai, Jian-Feng2 (AUTHOR), Jacob, Mathews3 (AUTHOR), Gao, Jingchao4 (AUTHOR), Cho, Myung5 (AUTHOR), Xu, Weiyu1 (AUTHOR) weiyu-xu@uiowa.edu
Publikováno v:
Information & Inference: A Journal of the IMA. Sep2023, Vol. 12 Issue 3, p2351-2405. 55p.
Autor:
Gratzl, Norbert1 (AUTHOR), Pavlović, Edi1 (AUTHOR) edi.pavlovic@lmu.de
Publikováno v:
Journal of Philosophical Logic. Aug2023, Vol. 52 Issue 4, p1149-1169. 21p.
Autor:
Stafford, Will1 will.stafford@bristol.ac.uk, Nascimento, Victor2
Publikováno v:
Analysis. Jul2023, Vol. 83 Issue 3, p507-516. 10p.
Autor:
Anugu, Sumith Reddy1 (AUTHOR) anugu.reddy@rice.edu, Borkar, Vivek S.2 (AUTHOR)
Publikováno v:
Applied Mathematics & Optimization. Jun2023, Vol. 87 Issue 3, p1-27. 27p.
Autor:
Clarke, Timothy1 tclarke@berkeley.edu
Publikováno v:
Mind. Jul2024, Vol. 133 Issue 531, p696-713. 18p.
Autor:
Oba, Ryoshun1 (AUTHOR) ryoshun_oba@mist.i.u-tokyo.ac.jp, Tanigawa, Shin-ichi1 (AUTHOR)
Publikováno v:
Mathematical Programming. Jan2023, Vol. 197 Issue 1, p109-145. 37p.
Autor:
Pavlović, Edi1 (AUTHOR) edi.pavlovic@lmu.de, Gratzl, Norbert1 (AUTHOR)
Publikováno v:
Journal of Philosophical Logic. Apr2023, Vol. 52 Issue 2, p519-554. 36p.
Publikováno v:
International Journal of Applied Ceramic Technology. Jan2023, Vol. 20 Issue 1, p519-526. 8p.