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
409 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
409 kr
Skickas inom 5-8 vardagar