Frontiers of combining systems third international workshop , Nancy, France, March 22 - 24, 2000 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FroCoS
Weitere Verfasser:	Kirchner, Hélène (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Springer 2000
Schriftenreihe:	Lecture notes in computer science 1794 : Lecture notes in artificial intelligence
Schlagworte:	Automatisches Beweisverfahren > Constraint > Deduktionssystem > Computeralgebra > Entscheidungsproblem > Mathematische Logik > Lineare Optimierung > Konferenzschrift
Online Zugang:	Vorwort Cover Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!