BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: 2006
    Number of items: 1.


    Hustadt, U. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) Automated reasoning about metric and topology. In: Fisher, M. and van der Hoek, W. and Konev, B. and Lisitsa, A. (eds.) JELIA 2006: Logics in Artificial Intelligence. Lecture Notes in Computer Science 4160. Springer, pp. 490-493. ISBN 9783540396253.

    This list was generated on Wed Sep 27 06:04:16 2023 BST.