Advanced
Advanced

Theorem Proving in Higher Order Logics

http://repository.vnu.edu.vn/handle/VNU_123/26848

ABSTRACTS VIEWS

6

VIEWS & DOWNLOAD

1

Issue Date
2008
Authors
Hutchison, David
Show Full Metadata

Show full item record


Issue Date
2008
Authors
Hutchison, David
Show Full Metadata

Show full item record

ABSTRACTS VIEWS

6

VIEWS & DOWNLOAD

1

Abstract

Keywords
Automatic theorem proving -- Congresses ; Automatic theorem proving
Publisher
Springer
Appears in Collections:Khoa học máy tính & Công nghệ thông tin
Thumbnail
  • 3202-'Theorem Proving in Higher Order Logics.pdf

    • Size : 5,24 MB

    • Format : Adobe PDF

    • View : 1
    • Download : 0
    • View Request a copy



      Readership Map

      +
      −
      ABSTRACTS VIEWS

      46809510

      VIEWS & DOWNLOAD

      28516676

      Content Distribution

    Theorem Proving in Higher Order Logics

    http://repository.vnu.edu.vn/handle/VNU_123/26848

    ABSTRACTS VIEWS

    6

    VIEWS & DOWNLOAD

    1

    Issue Date
    2008
    Authors
    Hutchison, David
    Show Full Metadata

    Show full item record


    Issue Date
    2008
    Authors
    Hutchison, David
    Show Full Metadata

    Show full item record

    ABSTRACTS VIEWS

    6

    VIEWS & DOWNLOAD

    1

    Abstract

    Keywords
    Automatic theorem proving -- Congresses ; Automatic theorem proving
    Publisher
    Springer
    Appears in Collections:Khoa học máy tính & Công nghệ thông tin
    Thumbnail
  • 3202-'Theorem Proving in Higher Order Logics.pdf

    • Size : 5,24 MB

    • Format : Adobe PDF

    • View : 1
    • Download : 0
    • View Request a copy



    Loading...