Chad E. Brown - Böcker

Visar alla böcker från författaren Chad E. Brown.
2 produkter
Chad E. Brown, C. E. Brown - Automated Reasoning in Higher-order Logic, Häftad

Automated Reasoning in Higher-order Logic

Av Chad E. Brown, C. E. Brown

Häftad, Engelska, 2007

399 kr

Skickas inom 5-8 vardagar
Christoph Benzmueller, Chad E Brown, Joerg Siekmann, Chad E. Brown - Reasoning in Simple Type Theory, Häftad

Reasoning in Simple Type Theory

Av Christoph Benzmueller, Chad E Brown, Joerg Siekmann, Chad E. Brown

Häftad, Engelska, 2008

399 kr

Skickas inom 5-8 vardagar