Frontiers of combining systems: 5th international workshop, frocos 2005, vienna, austria, september 19-21, 2005, proceedings
Auteur :
Gramlich, Bernhard
ISBN :
9783540290513
Date de publication :
12 sept. 2005
Dimensions :
23,4 x 15,6 x 1,7 cm
Poids :
1040 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria. This book includes 19 full papers that are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; and others.