Publication:
Automated Deduction – CADE 28

Simple item page
dc.contributor.author André Platzer, Geoff Sutcliffe (editors)
dc.date.accessioned 2023-06-16T02:07:25Z
dc.date.available 2023-06-16T02:07:25Z
dc.date.issued 2021
dc.description DOI: https://doi.org/10.1007/978-3-030-79876-5; License: CC BY; Publisher: Springer
dc.description.abstract This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
dc.identifier.doi https://doi.org/10.1007/978-3-030-79876-5
dc.identifier.isbn 9783030798765
dc.identifier.uri http://repository.vlu.edu.vn:443/handle/123456789/5423
dc.language.iso en
dc.subject Artificial intelligence
dc.subject automata theory
dc.subject boolean functions
dc.subject computer programming
dc.subject first order logic
dc.subject formal languages
dc.subject formal logic
dc.subject logic programming
dc.subject model checking
dc.subject program verification
dc.subject semantics
dc.subject software architecture
dc.subject software design
dc.subject software engineering
dc.subject software quality
dc.subject software verification
dc.subject theorem provers
dc.subject theorem proving
dc.title Automated Deduction – CADE 28
dc.type Resource Types::text::book
dspace.entity.type Publication
oairecerif.author.affiliation #PLACEHOLDER_PARENT_METADATA_VALUE#
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
OAB330.txt
Size:
0 B
Format:
Plain Text
Description:
Download
Collections
Open Access Books - Technology - 2021