An edition of The resolution calculus (1997)
By Alexander Leitsch
Publish Date
1997
Publisher
Springer
Language
eng
Pages
300
1-1 of 1 Editions
Language: eng
Pages: 300
Published In: 1997
Publisher: Springer