Jeffrey J. Joyce – författare

Visar alla böcker från författaren Jeffrey J. Joyce. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Higher Order Logic Theorem Proving and Its Applications

   6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

   Av Jeffrey J. Joyce, Carl-Johan H. Seger

   Häftad, 1994

   567 kr

   Lägg i varukorg

   This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international …