Automated Reasoning

Automated Reasoning

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of...

Full description

Saved in:
Bibliographic Details
Other Authors: Armando, Alessandro
Format: Book
Language:English
Published: Springer 2017
Subjects:
Computer Science
006.3
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/26175
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-26175
record_format dspace
spelling oai:112.137.131.14:VNU_123-261752020-06-04T08:15:10Z Automated Reasoning Armando, Alessandro Baumgartner, Peter Dowek, Gilles Computer Science 006.3 This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata. 2017-04-11T04:17:32Z 2017-04-11T04:17:32Z 2008 Book 978-3-540-71069-1 http://repository.vnu.edu.vn/handle/VNU_123/26175 en 568 p. application/pdf Springer
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic Computer Science
006.3
spellingShingle Computer Science
006.3
Automated Reasoning
description This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata.
author2 Armando, Alessandro
author_facet Armando, Alessandro
format Book
title Automated Reasoning
title_short Automated Reasoning
title_full Automated Reasoning
title_fullStr Automated Reasoning
title_full_unstemmed Automated Reasoning
title_sort automated reasoning
publisher Springer
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/26175
_version_ 1680966795015487488

Similar Items