MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03214naaaa2200673uu 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
https://library.oapen.org/handle/20.500.12657/50048 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20220714215139.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
978-3-030-79876-5 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030798765 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-030-79876-5 |
| Terms of availability |
doi |
| 041 0# - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
English |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Platzer, André |
| Relator code |
edt |
| 9 (RLIN) |
1282846 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Name of publisher, distributor, etc |
Springer Nature |
| Date of publication, distribution, etc |
2021 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 electronic resource (650 p.) |
| 506 0# - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Open Access |
| Source of term |
star |
| Standardized terminology for access restriction |
Unrestricted online access |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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. |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE |
|---|
| Terms governing use and reproduction |
Creative Commons |
| -- |
by/4.0/ |
| -- |
cc |
| -- |
http://creativecommons.org/licenses/by/4.0/ |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
2458 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical theory of computation |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
855105 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming / software development |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
921274 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software Engineering |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
68523 |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Artificial Intelligence |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Mathematical Logic and Formal Languages |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Logics and Meanings of Programs |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Software Engineering |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Formal Languages and Automata Theory |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer Science Logic and Foundations of Programming |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
automata theory |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
boolean functions |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer programming |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
first order logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
formal languages |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
formal logic |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logic programming |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
model checking |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
program verification |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
semantics |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software architecture |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software design |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software quality |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software verification |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
theorem provers |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
theorem proving |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Mathematical theory of computation |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer programming / software engineering |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer architecture & logic design |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sutcliffe, Geoff |
| Relator code |
edt |
| 9 (RLIN) |
1282847 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Platzer, André |
| Relator code |
oth |
| 9 (RLIN) |
1282846 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sutcliffe, Geoff |
| Relator code |
oth |
| 9 (RLIN) |
1282847 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Host name |
www.oapen.org |
| Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/id/437b9786-3420-4547-a73b-141044998409/978-3-030-79876-5.pdf">https://library.oapen.org/bitstream/id/437b9786-3420-4547-a73b-141044998409/978-3-030-79876-5.pdf</a> |
| -- |
0 |
| Public note |
OAPEN Library: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Host name |
www.oapen.org |
| Uniform Resource Identifier |
<a href="https://library.oapen.org/handle/20.500.12657/50048">https://library.oapen.org/handle/20.500.12657/50048</a> |
| -- |
0 |
| Public note |
OAPEN Library: description of the publication |
