Logic-based 0-1 Constraint Solving in Constraint Logic Programming

Lokale TagsFreigabegeschichteDetailsÜbersicht

Logic-based 0-1 Constraint Solving in Constraint Logic Programming

Barth, P. (1995). Logic-based 0-1 Constraint Solving in Constraint Logic Programming. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AC36-B Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-5BBE-7

Genre: Hochschulschrift

ausblenden:

Urheber:
Barth, Peter¹, Autor
Ganzinger, Harald¹, Ratgeber
Hooker, J. N.², Gutachter

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045
2External Organizations, ou_persistent22

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2010-03-12Angenommen: 1995-02-28Erschienen: 1995

Publikationsstatus: Erschienen

Seiten: iv, 187 p.

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

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519591
Anderer: Local-ID: C1256104005ECAFC-B40EFE1A58AD5E2CC12561440062485A-Barth-Diss

Art des Abschluß: Doktorarbeit

Datensatz