Frontiers of combining systems : third International Workshop, Nancy, France, March 22 - 24, 2000 ; proceedings

Frontiers of combining systems third International Workshop, Nancy, France, March 22 - 24, 2000 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FroCoS (BerichterstatterIn)
Weitere Verfasser: Kirchner, Hélène (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2000
Schriftenreihe:Lecture notes in computer science 1794 : Lecture notes in artificial intelligence
Schlagworte:
Logic, symbolic and mathematical > Congresses > Computer science > Konferenzschrift > Automatisches Beweisverfahren > Constraint > Deduktionssystem > Computeralgebra > Entscheidungsproblem > Mathematische Logik > Lineare Optimierung
Online Zugang:Einführung/Vorwort
Inhaltsverzeichnis
Cover
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 289 S
graph. Darst
24 cm
ISBN:3540672818
3-540-67281-8