The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
von
Alexander Leitsch
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-64473-3
ISBN-10: 3-642-64473-2
Springer
· 2012
S. auch:
1996
Gebundene Ausgabe
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)