Laurent Thery – författare

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

2 produkter

1. 

   Theorem Proving in Higher Order Logics

   12th International Conference, TPHOLs''99, Nice, France, September 14-17, 1999, Proceedings

   Av Laurent Thery, Christine Paulin m. fl.

   E-bok, 2003

   718 kr

   Lägg i varukorg

2. 

   Theorem Proving in Higher Order Logics

   12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

   Av Yves Bertot, Gilles Dowek m. fl.

   Häftad, 1999

   552 kr

   Lägg i varukorg

   This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs'99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at …