Automated Theorem Proving

Wolfgang

von Wolfgang Bibel

Taschenbuch

ISBN: 978-3-528-08520-9

ISBN-10: 3-528-08520-7

Vieweg+Teubner Verlag · 1982