Login / Signup
Stanislaw J. Purgal
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 10
Top Topics
Extended Abstract
Finite Element Mesh
Logic Programs
Theorem Proving
Top Venues
CoRR
J. Log. Comput.
FLAIRS
CICM Workshops
</>
Publications
</>