Wyniki wyszukiwania dla: Claus-Peter Wirth
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session IV: Proving > 126-142
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 298-314
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Contributed Papers > 282-297
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 11: System Descriptions > 328-333
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 192-203
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 293-307
Annals of Mathematics and Artificial Intelligence > 2016 > 78 > 3-4 > 205-258
KI - Künstliche Intelligenz > 2015 > 29 > 3 > 271-277
Journal of Symbolic Computation > 2012 > 47 > 9 > 1109-1135
Logica Universalis > 2012 > 6 > 3-4 > 485-520
Journal of Symbolic Computation > 2009 > 44 > 1 > 60-98
Journal of Applied Logic > 2008 > 6 > 3 > 287-317