University of Texas. Automatic Theorem Proving Project Bezüge im Wissensnetz Administrative Überordnung der Körperschaft (2) GND-Körperschaften University of Texas. Department of Computer Sciences University of Texas. Department of Mathematics Verfasst (1) DNB-Titeldaten ATP Creator (1) DNB-Titeldaten ATP Sitz (1) GND-Körperschaften Austin, Tex.