Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

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