Automated reasoning about metric and topology (System description)

Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev, Michael Fisher (Editor), Wiebe van der Hoek (Editor), Boris Konev (Editor), Alexei Lisitsa (Editor)

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Original languageEnglish
    Title of host publicationProceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06)
    PublisherSpringer Nature
    Pages490-493
    Number of pages4
    Volume4160
    Publication statusPublished - 2006

    Publication series

    NameLecture Notes in Artificial Intelligence
    PublisherSpringer

    Cite this