Ihre Suche nach „Martin Gibbs“ in „Informatik & EDV“
Extensional Constructs in Intensional Type Theory
Martin Hofmann
Fr. 165.50
Line Drawing Interpretation
Martin Cooper
Fr. 118.00
Fr. 59.00
Fr. 68.50
Fr. 87.50
Fr. 130.00
Fr. 77.00
Fr. 130.00
Fr. 71.00
Fr. 68.50
Fr. 71.00
Fr. 64.00
Computational Logic and Set Theory
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Fr. 59.00
Fr. 177.00
Fr. 54.50
Fr. 88.50
Fr. 65.00
Fr. 65.00
Fr. 136.00
Fr. 59.00