DocumentCode

28692

Title

Propositional proof systems : efficiency and automatizability

Author

Madhu Sudan. استاد راهنما

University

Dspace at Mit Libraries

Grade

نامعلوم

Major

Thesis )Ph. D.(

Number of pages

0

Publish Date

2003

Note

01

Language

انگليسي