Preface: Special issue on practical aspects of automated reasoning

Boris Konev, Renate A. Schmidt, Stephan Schulz

    Research output: Contribution to journalEditorialpeer-review

    Original languageEnglish
    Pages (from-to)67-68
    Number of pages1
    JournalAI Communications
    Volume23
    Issue number2-3
    DOIs
    Publication statusPublished - 2010

    Cite this