Elsa L Gunter All Books: Theorem Proving | sku-927433085

Elsa L Gunter All Books listing, SKU sku-927433085. Theorem Proving in Higher Order Logics is Book 1275 in Lecture Notes in Computer Science. It covers the 10th International Conference, Tphols'97, in Murray Hill, NJ, USA; the listed August dates are 19-2. The source lists Springer as author. This paperback has ISBN 9783540633792, a publication date of 1997-08-06 and 346 pages.