Počet záznamů: 1
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract)
- 1.Pezlar, Ivo
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract).
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer, 2021 - (Baroni, P.; Benzmüller, C.; Wáng, Y.), s. 513-520. Lecture Notes in Artificial Intelligence, 13040. ISBN 978-3-030-89390-3.
[CLAR 2021: International Conference on Logic and Argumentation /4./. online (CN), 20.10.2021-22.10.2021]
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-89391-0_31
http://hdl.handle.net/11104/0323339
Počet záznamů: 1