Releases von Anahit Chubaryan

Cover for Anahit Chubaryan · Rabin Style Speed-up of Proofs: More Generalized Speed-up in the Systems of First Order Logic (Taschenbuch) (2010)
Taschenbuch
Rabin Style Speed-up of Proofs: ...
Anahit Chubaryan