UID:
kobvindex_ZLB13933794
Umfang:
X, 320 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783540290513
Serie:
Lecture notes in computer science
Anmerkung:
Text engl.
Sprache:
Englisch
Schlagwort(e):
Automatisches Beweisverfahren
;
Kongress
;
Wien 〈2005〉
;
Constraint 〈Künstliche Intelligenz〉
;
Kongress
;
Wien 〈2005〉
;
Deduktionssystem
;
Computeralgebra
;
Kongress
;
Wien 〈2005〉
;
Entscheidungsproblem
;
Kongress
;
Wien 〈2005〉
;
Mathematische Logik
;
Lineare Optimierung
;
Kongress
;
Wien 〈2005〉
;
Kongress
;
Konferenzschrift
Bookmarklink