Format:
X, 320 S
,
graph. Darst
,
24 cm
ISBN:
3540290516
,
9783540290513
Series Statement:
Lecture notes in computer science 3717
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Frontiers of Combining Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 ISBN 9783540317302
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Constraint
;
Computeralgebra
;
Deduktionssystem
;
Entscheidungsproblem
;
Lineare Optimierung
;
Mathematische Logik
;
Automatisches Beweisverfahren
;
Constraint
;
Deduktionssystem
;
Computeralgebra
;
Entscheidungsproblem
;
Mathematische Logik
;
Lineare Optimierung
;
Konferenzschrift
Author information:
Gramlich, Bernhard
Bookmarklink