Wyniki wyszukiwania dla: Damien Doligez
Lecture Notes in Computer Science > Automated Reasoning > Verification > 142-148
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 151-165
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Invited Papers and Abstract > 44-44
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 298-313
Journal of Automated Reasoning > 2002 > 29 > 3-4 > 337-363