OL31365412M
The Resolution Calculus
Alexander Leitsch
- Publisher
- Springer
- Published
- Oct 17, 2011
- ISBN-13
- 9783642606069
- ISBN-10
- 3642606067
- Work ID
- OL21805037W
Description
Metadata and publication details for The Resolution Calculus by Alexander Leitsch.