Search results for: Artur Korniłowicz
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 9-32
Formalized Mathematics > 2017 > 25 > 3 > 205-216
Formalized Mathematics > 2017 > 25 > 2 > 149-155
Formalized Mathematics > 2017 > 25 > 2 > 141-147
Formalized Mathematics > 2017 > 25 > 2 > 87-92
Formalized Mathematics > 2017 > 25 > 1 > 39-48
Formalized Mathematics > 2017 > 25 > 1 > 49-54
Formalized Mathematics > 2017 > 25 > 1 > 31-37
Formalized Mathematics > 2016 > 24 > 4 > 301-308
Formalized Mathematics > 2016 > 24 > 3 > 227-237
Lecture Notes in Computer Science > Automated Deduction—CADE-18 > SAT > 195-210
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Invited Tutorials > 67-72
Lecture Notes in Computer Science > Artificial Intelligence, Automated Reasoning, and Symbolic Computation > Calculemus Regular Talks > 231-245
Formalized Mathematics > 2015 > 23 > 4 > 333-349
Computer Languages, Systems & Structures > 2015 > 44 > Part C > 238-250
Journal of Automated Reasoning > 2015 > 55 > 3 > 191-198