Frontiers of Combining Systems: 5th International Workshop, ...
Preview
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings Bernhard Gramlich. 14. Joe Hurd. Integrating Gandalf and HOL. In Yves Bertot, Gilles Dowek, Andr ́e Hirschowitz, Christine Paulin, and Laurent ...