Boulton, Richard J.; Paul B. Jackson (Eds.): Theorem Proving in Higher Order Logics. 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings. Berlin, Springer, 2001. X, 393 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2152.

• Category: Informatik
• Language: English (en)
• ISBN: 978-3-540-42525-0
• Order Number: 677EB

Our Price: EUR 9,--