TY - BOOK ID - 107479352 TI - Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings AU - Ghilardi, Silvio AU - Sebastiani, Roberto AU - SpringerLink (Online service) PY - 2009 SN - 9783642042225 PB - Berlin Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Complex analysis KW - Computer science KW - Programming KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - complexe analyse (wiskunde) KW - programmeren (informatica) KW - wiskunde KW - software engineering KW - KI (kunstmatige intelligentie) KW - logica KW - robots UR - https://www.unicat.be/uniCat?func=search&query=sysid:107479352 AB - This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems. ER -