Cezary Kaliszyk
发表
Sebastiaan J. C. Joosten,
Sebastiaan Joosten,
Cezary Kaliszyk,
2014,
ACL2.
Josef Urban,
Michael Färber,
Cezary Kaliszyk,
2020,
Journal of Automated Reasoning.
Cezary Kaliszyk,
Josef Urban,
C. Kaliszyk,
2013,
PxTP@CADE.
Cezary Kaliszyk,
Josef Urban,
C. Kaliszyk,
2013,
Math. Comput. Sci..
Julian Parsert,
Cezary Kaliszyk,
Stanislaw Purgal,
2021,
J. Log. Comput..