[Lecture Notes in Computer Science] Mathematical...

  • Main
  • [Lecture Notes in Computer Science]...

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1997 Volume 1295 || Complexity of finding short resolution proofs

Prívara, Igor, Ružička, Peter
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10.1007/BF
Year:
1997
DOI:
10.1007/BFb0029974
File:
PDF, 847 KB
1997
Conversion to is in progress
Conversion to is failed