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

    Book Section

    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 Dec 7 06:23:28 2022 GMT.