Hochschulschrift
Automatic termination analysis for functional and imperative programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896012074
389601207X
- Maße
-
21 cm
- Umfang
-
244 S.
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Darmstadt, Techn. Univ., Diss., 1999
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; Bd. 207
- Schlagwort
-
Algorithmische Programmierung
Terminierung
Automatisches Beweisverfahren
Induktionsbeweis
Funktionale Programmierung
Terminierung
Automatisches Beweisverfahren
Induktionsbeweis
- Ereignis
-
Veröffentlichung
- (wo)
-
Sankt Augustin
- (wer)
-
Infix
- (wann)
-
1999
- Urheber
-
Brauburger, Jürgen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:38 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Brauburger, Jürgen
- Infix
Entstanden
- 1999
Ähnliche Objekte (12)
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Termination analysis for imperative programs operating on the heap
Grafische Wissensakquisitionssysteme und ihre Generierung
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge
Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Oberflächenbasierte Segmentierung von Tiefenbildern
Digitale und allgemeine Topologie in der bildhaften Wissensrepräsentation
Ein Basisdienst für die zuverlässige Abwicklung langdauernder Aktivitäten
Reaktives Planen mit gelernten Begriffen
Toleranz- und Kongruenzrelationen in relationalen Datenbanken
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Termination analysis for imperative programs operating on the heap
Grafische Wissensakquisitionssysteme und ihre Generierung
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge
Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Oberflächenbasierte Segmentierung von Tiefenbildern
Digitale und allgemeine Topologie in der bildhaften Wissensrepräsentation
Ein Basisdienst für die zuverlässige Abwicklung langdauernder Aktivitäten
Reaktives Planen mit gelernten Begriffen
Toleranz- und Kongruenzrelationen in relationalen Datenbanken
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 2
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung, Bd. 1
Termination analysis for imperative programs operating on the heap
Grafische Wissensakquisitionssysteme und ihre Generierung
Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeiträge
Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache
Wissensbasierte Verkehrsszenenanalyse zur Fahrerunterstützung
Oberflächenbasierte Segmentierung von Tiefenbildern
Digitale und allgemeine Topologie in der bildhaften Wissensrepräsentation
Ein Basisdienst für die zuverlässige Abwicklung langdauernder Aktivitäten
Reaktives Planen mit gelernten Begriffen