Chad E. Brown – författare

Visar alla böcker från författaren Chad E. Brown. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Automated Reasoning in Higher-order Logic

   Set Comprehension and Extensionality in Church's Type Theory

   Av Chad E. Brown

   Häftad, 2007

   321 kr

   Lägg i varukorg

2. 

   Reasoning in Simple Type Theory

   Festschrift in Honor of Peter B. Andrews on His 70th Birthday

   Av Christoph Benzmueller, Chad E Brown m. fl.

   Häftad, 2008

   321 kr

   Lägg i varukorg