50033904X  

Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19 - 21, 2005 ; proceedings / Bernhard Gramlich (ed.)

International Workshop on Frontiers of Combining Systems ; 5 (Vienna) : 2005.09.19-21

FroCoS 2005 ; 5 (Vienna) : 2005.09.19-21

Englisch

Berlin ; Heidelberg [u.a.] : Springer, 2005

X, 320 S : graph. Darst ; 24 cm

Konferenzschrift (2005, Wien)

Literaturangaben

Online-Ausg.: Frontiers of Combining Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - Online-Ressource (X, 321 p. Also available online, digital)

3-540-29051-6

978-3-540-29051-3

9783540290513

/ Automatisches Beweisverfahren

/ Constraint

/ Computeralgebra / Deduktionssystem

/ Entscheidungsproblem

/ Lineare Optimierung / Mathematische Logik

*Automatisches Beweisverfahren

*Constraint

*Deduktionssystem / Computeralgebra

*Entscheidungsproblem

*Mathematische Logik / Lineare Optimierung

*Logic, Symbolic and mathematical -- Congresses ; Computer science -- Congresses

Klassifikation der Library of Congress: MLCM 2006/40849 (Q)

Dewey Dezimal-Klassifikation: 511.3;

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 4000-SS 5999 Schriftenreihen (indiv. Sign.) / Lecture notes in computer science

Mathematics Subject Classification: *68-06

Mathematics Subject Classification: 68Txx

Mathematics Subject Classification: 00B25

http://www.loc.gov/catdir/enhancements/fy0663/2005932552-d.html [Publisher description]

http://media.obvsg.at/AC04804153-1002 [Inhaltsverzeichnis]

http://swbplus.bsz-bw.de/bsz120539829cov.htm [Cover]

https://zbmath.org/?q=an:1089.68010 [Zentralblatt MATH]