Search results for ‘Gordon Plotkin’

Filter & Refine

      Cover image for Memories Dreams and The Grid
      Paperback
      Add to list Added to list

      Memories Dreams and The Grid

      Gordon Plotkin

      Our story continues with The Brothers and The Sporty Boys enlisted in the Royal Canadian Army with Major Waltz as their commander. It's WWII. The lads are itching for action…

      $33.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Memories Dreams and the Grid, Volume 3
      Paperback
      Add to list Added to list

      Memories Dreams and the Grid, Volume 3

      Gordon Plotkin

      Days before his 19th birthday, Grid awakes in the middle of the night screaming, "THE ELEVATOR! NO HANK!"

      He had just endured his first nightmare - his first of two…

      $33.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Transactions on Computational Systems Biology VI
      Paperback
      Add to list Added to list

      Transactions on Computational Systems Biology VI

      The 5th Transactions on Computational Systems Biology volume, edited by Gordon Plotkin, features carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing.

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
      Paperback
      Add to list Added to list

      Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA ‘95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings

      The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for From Semantics to Computer Science: Essays in Honour of Gilles Kahn
      Hardback
      Add to list Added to list

      From Semantics to Computer Science: Essays in Honour of Gilles Kahn

      This volume of articles by leading computer scientists emphasises the achievements of Gilles Kahn, and examines the significance of his contributions to computer science. The authors also reflect upon the…

      $209.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Situation Theory and its Applications: Volume 2
      Paperback
      Add to list Added to list

      Situation Theory and its Applications: Volume 2

      Jon Barwise,Jean Mark Gawron,Gordon Plotkin,Syun Tutiya

      Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy…

      $118.99

      Available to order, ships in approx 4 weeksAvailable to order

      Hardback
      Add to list Added to list

      Situation Theory and its Applications: Volume 2

      Jon Barwise,Jean Mark Gawron,Gordon Plotkin,Syun Tutiya

      Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy…

      $257.99

      Available to order, ships in approx 4 weeksAvailable to order