Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings - FroCoS 2005 (2005 : Vienna, Austria) (Berlin ; New York : Springer, 2005)
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical -- Congresses; Computer science -- Congresses