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!

Keine Ergebnisse!