• norsk
    • English
  • English 
    • norsk
    • English
  • Login
Browsing by Author 
  •   Home
  • Browsing by Author
  •   Home
  • Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browsing NTNU Open by Author "Barstad, Tor Økland"

  • 0-9
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z
  • Æ
  • Ø
  • Å

Sort by:

Order:

Results:

Now showing items 1-1 of 1

  • title
  • issue date
  • submit date
  • author
  • ascending
  • descending
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • Towards a user-friendly natural language proof assistant - The outline of a system that can be used to implement applications that enable non-expert users to construct computer-verified natural language arguments 

      Barstad, Tor Økland (Master thesis, 2017)
      In more or less any discussion, however consequential, it is left for the participants to work out in their own head whether the arguments necessitate the conclusions put forward, or are lacking or flawed. When the discussion ...

      Contact Us | Send Feedback

      Privacy policy
      DSpace software copyright © 2002-2019  DuraSpace

      Service from  Unit
       

       

      Browse

      ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

      My Account

      Login

      Contact Us | Send Feedback

      Privacy policy
      DSpace software copyright © 2002-2019  DuraSpace

      Service from  Unit