Chad E. Brown – författare

Visar alla böcker från författaren .

2 produkter

Kategorier

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

409 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

409 kr

Skickas inom 5-8 vardagar