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

Resolution

von Alexander Leitsch

Gebunden

ISBN: 978-3-540-61882-9

ISBN-10: 3-540-61882-1

Springer · 1996

Siehe auch:
2012TaschenbuchThe Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)