Lanzamientos por Anahit Chubaryan

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