Wyniki wyszukiwania dla: Nachum Dershowitz
Scandinavian Journal of Psychology > 63 > 2 > 91 - 99
Lecture Notes in Computer Science > Functional Programming, Concurrency, Simulation and Automated Reasoning > 199-228
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 1. Proofs and Cores > 36-41
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 139-150