The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)

Resolution

von Alexander Leitsch

Taschenbuch

ISBN: 978-3-642-64473-3

ISBN-10: 3-642-64473-2

Springer · 2012

S. auch:
1996Gebundene AusgabeThe Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)