Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (6 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: The Resolution Calculus
Authors: Alexander Leitsch
Series Title: Texts in Theoretical Computer Science. An EATCS Series
DOI: https://doi.org/10.1007/978-3-642-60605-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-642-64473-3Published: 28 September 2011
eBook ISBN: 978-3-642-60605-2Published: 06 December 2012
Series ISSN: 1862-4499
Series E-ISSN: 1862-4502
Edition Number: 1
Number of Pages: VIII, 300
Topics: Computational Mathematics and Numerical Analysis, Computation by Abstract Devices, Mathematical Logic and Foundations