Theorem Proving in Higher Order Logic : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 2004, Proceedings

ISBN

9783540230175

$99.00

Format	Paperback
Details	Status:Active Record Product Type:Individual Title Product Format:Books Volumes in Set:1 vol. Copyright Year:2004 Number of Pages:viii, 340 Illustrated:Yes Series Volume Number:3223 Media Class:Print LC Classification Number:QA75.5-76.95