Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: nid=306374-4



Treffer 1 von 1 < < > <



Organisationen
Link zu diesem Datensatz https://d-nb.info/gnd/306374-4
Organisation University of Texas. Automatic Theorem Proving Project
Andere Namen University of Texas. Department of Mathematics. Automatic Theorem Proving Project
University of Texas. Department of Computer Sciences. Automatic Theorem Proving Project
Automatic Theorem Proving Project
ATP (Abkürzung)
Land USA (XD-US)
Geografischer Bezug Ort: Austin, Tex.
Beziehungen zu Organisationen Administrativ übergeordnet: University of Texas. Department of Mathematics
Administrativ übergeordnet: University of Texas. Department of Computer Sciences
Typ Organisation (kiz)





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration