Automated Deduction - CADE 28 : : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Open Access

Automated Deduction - CADE 28 : : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Show other versions (1)

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...

Full description

Saved in:
Bibliographic Details
Superior document:Lecture Notes in Computer Science ; v.12699
:
Platzer, André.
TeilnehmendeR:
Sutcliffe, Geoff.
Year of Publication:2021
Language:English
Series:Lecture Notes in Computer Science
Physical Description:1 online resource (655 p.)
Notes:Description based upon print version of record.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993544623004498
ctrlnum (CKB)5590000000532393
EBL6676599
(AU-PeEL)EBL6676599
(oapen)https://directory.doabooks.org/handle/20.500.12854/71322
(MiAaPQ)EBC6676599
(PPN)258303573
(EXLCZ)995590000000532393
collection bib_alma
record_format marc
spelling Platzer, André.
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Automated Deduction – CADE 28
Automated Deduction - CADE 28
Cham : Springer International Publishing AG, 2021.
1 online resource (655 p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Lecture Notes in Computer Science ; v.12699
Description based upon print version of record.
Open access Unrestricted online access star
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.
English
Artificial intelligence bicssc
Mathematical theory of computation bicssc
Computer programming / software development bicssc
Software Engineering bicssc
Artificial Intelligence
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Software Engineering
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
automata theory
boolean functions
computer programming
first order logic
formal languages
formal logic
logic programming
model checking
program verification
semantics
software architecture
software design
software quality
software verification
theorem provers
theorem proving
Mathematical theory of computation
Computer programming / software engineering
Computer architecture & logic design
3-030-79875-5
Sutcliffe, Geoff.
Lecture Notes in Computer Science
language English
format eBook
author Platzer, André.
spellingShingle Platzer, André.
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Lecture Notes in Computer Science ;
author_facet Platzer, André.
Sutcliffe, Geoff.
author_variant a p ap
author2 Sutcliffe, Geoff.
author2_variant g s gs
author2_role TeilnehmendeR
author_sort Platzer, André.
title Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
title_sub 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
title_full Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
title_fullStr Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
title_full_unstemmed Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
title_auth Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
title_alt Automated Deduction – CADE 28
Automated Deduction - CADE 28
title_new Automated Deduction - CADE 28 :
title_sort automated deduction - cade 28 : 28th international conference on automated deduction, virtual event, july 12-15, 2021, proceedings
series Lecture Notes in Computer Science ;
series2 Lecture Notes in Computer Science ;
publisher Springer International Publishing AG,
publishDate 2021
physical 1 online resource (655 p.)
isbn 3-030-79876-3
3-030-79875-5
callnumber-first Q - Science
callnumber-subject Q - General Science
callnumber-label Q334-342
callnumber-sort Q 3334 3342
illustrated Not Illustrated
work_keys_str_mv AT platzerandre automateddeductioncade2828thinternationalconferenceonautomateddeductionvirtualeventjuly12152021proceedings
AT sutcliffegeoff automateddeductioncade2828thinternationalconferenceonautomateddeductionvirtualeventjuly12152021proceedings
AT platzerandre automateddeductionacade28
AT sutcliffegeoff automateddeductionacade28
AT platzerandre automateddeductioncade28
AT sutcliffegeoff automateddeductioncade28
status_str n
ids_txt_mv (CKB)5590000000532393
EBL6676599
(AU-PeEL)EBL6676599
(oapen)https://directory.doabooks.org/handle/20.500.12854/71322
(MiAaPQ)EBC6676599
(PPN)258303573
(EXLCZ)995590000000532393
carrierType_str_mv cr
hierarchy_parent_title Lecture Notes in Computer Science ; v.12699
is_hierarchy_title Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
container_title Lecture Notes in Computer Science ; v.12699
author2_original_writing_str_mv noLinkedField
_version_ 1804787215186788352
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03320nam a22007693u 4500</leader><controlfield tag="001">993544623004498</controlfield><controlfield tag="005">20240402152634.0</controlfield><controlfield tag="006">m d </controlfield><controlfield tag="007">cr#-n---------</controlfield><controlfield tag="008">220617s2021||||||| o|||||||||||eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-79876-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5590000000532393</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">EBL6676599</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AU-PeEL)EBL6676599</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/71322</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6676599</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)258303573</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995590000000532393</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">AU-PeEL</subfield><subfield code="b">eng</subfield><subfield code="c">AU-PeEL</subfield><subfield code="d">AU-PeEL</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q334-342</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Platzer, André.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated Deduction - CADE 28 :</subfield><subfield code="b">28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings</subfield></datafield><datafield tag="246" ind1=" " ind2=" "><subfield code="a">Automated Deduction – CADE 28</subfield></datafield><datafield tag="246" ind1=" " ind2=" "><subfield code="a">Automated Deduction - CADE 28</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing AG,</subfield><subfield code="c">2021.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (655 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science ;</subfield><subfield code="v">v.12699</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based upon print version of record.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="a">Open access</subfield><subfield code="f">Unrestricted online access</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematical theory of computation</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer programming / software development</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Software Engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formal Languages and Automata Theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automata theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">boolean functions</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">first order logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">program verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software architecture</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software design</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software quality</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">theorem provers</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">theorem proving</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical theory of computation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computer programming / software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computer architecture &amp; logic design</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-030-79875-5</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sutcliffe, Geoff.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-17 01:07:31 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2021-08-14 22:02:55 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5337729420004498&amp;Force_direct=true</subfield><subfield code="Z">5337729420004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337729420004498</subfield></datafield></record></collection>

Similar Items