An edition of Relative complexities of first order calculi (1992)
By Elmar Eder
Publish Date
1992
Publisher
Vieweg
Language
eng
Pages
173
Description:
subjects: Artificial intelligence, Automatic theorem proving, Computational complexity