Chad E. Brown – författare

Visar alla böcker från författaren Chad E. Brown.

2 produkter

Kategorier

2 produkter

Automated Reasoning in Higher-order Logic

Set Comprehension and Extensionality in Church's Type Theory

AvChad E. Brown

Häftad, Engelska, 2007

399 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

389 kr

Skickas inom 5-8 vardagar