Chad E. Brown – författare

Visar alla böcker från författaren Chad E. Brown. Handla med fri frakt och snabb leverans.
2 produkter

Automated Reasoning in Higher-order Logic

Set Comprehension and Extensionality in Church's Type Theory

AvChad E. Brown

Häftad, Engelska, 2007

305 kr

Skickas inom 5-8 vardagar

Reasoning in Simple Type Theory

Festschrift in Honor of Peter B. Andrews on His 70th Birthday

AvChristoph Benzmueller,Chad E Brownm. fl.

Häftad, Engelska, 2008

302 kr

Skickas inom 5-8 vardagar