Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96 by Jim Grundy, Joakim von Wright, John Harrison

Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96



Download Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96




Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96 Jim Grundy, Joakim von Wright, John Harrison
Language: English
Page: 449
Format: djvu
ISBN: 3540615873, 9783540615873
Publisher: Springer


MORE EBOOKS:
Adult and Family Nurse Practitioner Certification Examination pdf download
Download Misused Statistics pdf
Download A Guide to the Asylum and Immigration (Treatment of Claimants, etc) Act 2004 pdf
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More (Lecture Notes in Computer Science Programming and Software Engineering) book download