F. D. Kamareddine - Böcker

Visar alla böcker från författaren F. D. Kamareddine.

4 produkter

Kategorier

4 produkter

Thirty Five Years of Automating Mathematics

AvF.D. Kamareddine,F. D. Kamareddine

Inbunden, Engelska, 2003

1 379 kr

Skickas inom 10-15 vardagar

Modern Perspective on Type Theory

From its Origins until Today

AvF.D. Kamareddine,T. Laan m. fl.

Inbunden, Engelska, 2004

2 419 kr

Skickas inom 10-15 vardagar

Thirty Five Years of Automating Mathematics

AvF.D. Kamareddine,F. D. Kamareddine

Häftad, Engelska, 2010

1 379 kr

Skickas inom 10-15 vardagar

Modern Perspective on Type Theory

From its Origins until Today

AvF.D. Kamareddine,T. Laan m. fl.

Häftad, Engelska, 2010

1 789 kr

Skickas inom 10-15 vardagar