Theorem Proving in Higher Order Logics

330 p.

Saved in:
Bibliographic Details
Main Author: Hutchison, David
Format: Book
Language:English
Published: Springer 2017
Subjects:
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/26848
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English
id oai:112.137.131.14:VNU_123-26848
record_format dspace
spelling oai:112.137.131.14:VNU_123-268482020-07-09T03:27:33Z Theorem Proving in Higher Order Logics Hutchison, David Automatic theorem proving -- Congresses ; Automatic theorem proving 004.01 330 p. 2017-04-12T07:54:17Z 2017-04-12T07:54:17Z 2008 Book http://repository.vnu.edu.vn/handle/VNU_123/26848 en application/pdf Springer
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic Automatic theorem proving -- Congresses ; Automatic theorem proving
004.01
spellingShingle Automatic theorem proving -- Congresses ; Automatic theorem proving
004.01
Hutchison, David
Theorem Proving in Higher Order Logics
description 330 p.
format Book
author Hutchison, David
author_facet Hutchison, David
author_sort Hutchison, David
title Theorem Proving in Higher Order Logics
title_short Theorem Proving in Higher Order Logics
title_full Theorem Proving in Higher Order Logics
title_fullStr Theorem Proving in Higher Order Logics
title_full_unstemmed Theorem Proving in Higher Order Logics
title_sort theorem proving in higher order logics
publisher Springer
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/26848
_version_ 1680962940842278912