Jim Grundy – författare

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

2 produkter

1. 

   Alive with Death

   August 1914 - April 1915

   Av Jim Grundy

   Häftad, 2024

   527 kr

   Lägg i varukorg

2. 

   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. …