Gleichheit und Constraints in der Logikprogrammierung

Lokale TagsFreigabegeschichteDetailsÜbersicht

Gleichheit und Constraints in der Logikprogrammierung

Bockmayr, A. (1996). Gleichheit und Constraints in der Logikprogrammierung. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AB0A-8 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACF6-5

Genre: Hochschulschrift

ausblenden:

Urheber:
Bockmayr, Alexander¹, Autor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

ausblenden:

Sprache(n): deu - German

Datum: Geändert: 2010-03-12Angenommen: 1996-06-07Erschienen: 1996

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519519
Anderer: Local-ID: C1256104005ECAFC-55F5FABD09D2103CC12565B00034FDE2-bockmayr_habil_96

Art des Abschluß: Habilitation

Datensatz