Malcolm Newey – författare

Visar alla böcker från författaren Malcolm Newey. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Theorem Proving in Higher Order Logics

   11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

   Av Jim Grundy, Malcolm Newey

   Häftad, 1998

   562 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. …