Data Logic

    Research output: Book/ReportBookResearchpeer-review

    Abstract

    A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students
    Original languageEnglish
    Place of PublicationLyngby
    PublisherIT/DTU
    Number of pages186
    Publication statusPublished - 1998

    Cite this