Jan Smith - Böcker
Twenty Five Years of Constructive Type Theory
Av Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith, Jan M Smith
Inbunden, Engelska, 1998
1 669 kr
Häftad, Engelska, 2016
319 kr
Häftad, Engelska, 2011
159 kr
Häftad, Engelska, 2012
1 009 kr
Häftad, Engelska, 2009
309 kr
Häftad, Engelska
279 kr
Häftad, Engelska
279 kr
Häftad, Engelska
279 kr
Häftad, Engelska
279 kr
Häftad, Engelska
239 kr
Häftad, Engelska
279 kr
Häftad, Engelska
279 kr
Häftad, Engelska
369 kr
Häftad, Engelska, 2022
199 kr
Häftad, Engelska
269 kr
Inbunden, Engelska, 2005
389 kr
Häftad, Engelska, 2013
129 kr
Häftad, Engelska, 2021
199 kr
Häftad, Engelska, 2019
199 kr
Häftad, Engelska, 2020
239 kr
Inbunden, Engelska, 2020
379 kr
Häftad, Engelska
369 kr
Inbunden, Engelska, 2025
3 619 kr
Types for Proofs and Programs
Av Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, Engelska, 2000
719 kr
Types for Proofs and Programs
Häftad, Engelska, 1995
719 kr