Informatics: A Truly Interdisciplinary Science Computing Science and Mathematics

Dines Bjørner

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. ICAM & CS'2000
    Place of PublicationPlovdiv., Bulgaria
    Publication date2000
    Publication statusPublished - 2000
    EventProc. ICAM & CS'2000, Plovdiv. - Bulgaria, August
    Duration: 1 Jan 2000 → …


    ConferenceProc. ICAM & CS'2000, Plovdiv.
    CityBulgaria, August
    Period01/01/2000 → …

    Cite this