G. Plotkin – författare

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

2 produkter

1. 

   Logical Frameworks

   Av Gerard Huet, G. Plotkin

   Inbunden, 1991

   1593 kr

   Lägg i varukorg

   This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as …

2. 

   Semantics of Data Types

   International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings

   Av G. Kahn, D.B. MacQueen m. fl.

   Häftad, 1984

   399 kr

   Lägg i varukorg