Publications

  • Category

  • Sorting

  • 8505 publications found
  • Publisher
Publisher UiB-MatNat: Matematisk institutt
Publisher UiB-MatNat: Matematisk institutt
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Matematisk institutt, Universitetet i Oslo
Publisher Matematisk institutt, Universitetet i Oslo

Theorem proving in classical logic applied within a logic for system specification Research Report, Department of Informatics, University of Oslo, 1986. Article journal

Publisher Norsk Regnesentral