Constraints in computational logics First International Conference, Munich, Germany, September 7 - 9, 1994; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: CCL (BerichterstatterIn)
Weitere Verfasser: Jouannaud, Jean-Pierre (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 1994
Schriftenreihe:Lecture notes in computer science 845
Schlagworte:
Online Zugang:Cover
Inhaltstext
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Beschreibung:VIII, 367 S.
graph. Darst.
ISBN:038758403X
0-387-58403-X
354058403X
3-540-58403-X