Wyniki wyszukiwania dla: Brigitte Pientka
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 10-26
Lecture Notes in Computer Science > Logic Programming > 387-401
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 4. Intuitionistic Logic > 116-131
Lecture Notes in Computer Science > Automated Reasoning > Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving > 401-415
Lecture Notes in Computer Science > Logic Programming > Regular Papers > 377-391
Lecture Notes in Computer Science > Automated Reasoning > Logical Frameworks and Combination of Systems > 15-21
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 294-308
Journal of Automated Reasoning > 2015 > 55 > 4 > 307-372