Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 2001, Proceedings

ISBN

9783540425250

$109.00

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