Chad E. Brown – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
2 produkter
Chad E. Brown - Automated Reasoning in Higher-order Logic, Häftad

Automated Reasoning in Higher-order Logic

Set Comprehension and Extensionality in Church's Type Theory

AvChad E. Brown

Häftad, Engelska, 2007

313 kr

Skickas inom 5-8 vardagar

Christoph Benzmueller, Chad E Brown, Joerg Siekmann - Reasoning in Simple Type Theory, Häftad

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

313 kr

Skickas inom 5-8 vardagar