Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: nid=1253545987



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1253545987
Person Hutter, Dieter
Geschlecht männlich
Andere Namen Hutter, D.
Land Deutschland (XA-DE)
Sprache(n) Deutsch (ger)
Beruf(e) Informatiker
Hochschullehrer
Beziehungen zu Organisationen Deutsches Forschungszentrum für Künstliche Intelligenz
Universität Bremen. Fachbereich Mathematik, Informatik
Typ Person (piz)
Autor von 2 Publikationen
  1. Towards a Framework to Integrate Proof Search Paradigms
    Autexier, Serge. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
  2. Towards a framework to integrate proof search paradigms
    Autexier, Serge. - Saarbrücken : Univ., Fachbereich Informatik, 2003
Beteiligt an 7 Publikationen
  1. Look both ways before crossing the street: combined safety and security analysis for autonomous vehicles
    Rinaldo, Rhea C.. - Bremen : Staats- und Universitätsbibliothek Bremen, 2024
  2. Mechanizing Mathematical Reasoning
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration