Hochschulschrift

Normalization of Horn Clauses with Disequality Constraints

Weitere Titel
Normalisierung von Hornklauseln mit Ungleichheitsbedingungen
Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
München, Technische Universität München, Diss., 2013

Ereignis
Veröffentlichung
(wo)
München
(wer)
Universitätsbibliothek der TU München
(wann)
2013
Urheber
Reuß, Andreas
Beteiligte Personen und Organisationen
Seidl, Helmut
Esparza Estaun, Francisco Javier

URN
urn:nbn:de:bvb:91-diss-20130605-1116533-0-3
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:45 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Reuß, Andreas
  • Seidl, Helmut
  • Esparza Estaun, Francisco Javier
  • Universitätsbibliothek der TU München

Entstanden

  • 2013

Ähnliche Objekte (12)