Automated Deduction : (Record no. 60870)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01728nam a2200265Ii 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 221202s xx 000 0 und d |
245 #0 - TITLE STATEMENT | |
Title | Automated Deduction : |
Remainder of title | CADE 28 |
246 ## - VARYING FORM OF TITLE | |
Title proper/short title | 28th International Conference on Automated Deduction, Virtual Event, July 12:15, 2021, Proceedings |
264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Name of producer, publisher, distributor, manufacturer | Springer Nature |
Date of production, publication, distribution, manufacture, or copyright notice | 2021 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (650 pages) |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Media type code | c |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Carrier type code | cr |
Source | rdacarrier |
490 ## - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence |
Volume/sequential designation | 12699 |
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. |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | Artificial Intelligence |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | Formal Languages And Automata Theory |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | Logics And Meanings Of Programs |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | Mathematical Logic And Formal Languages |
653 ## - INDEX TERM--UNCONTROLLED | |
Uncontrolled term | Software Engineering |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Platzer, André |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Sutcliffe, Geoff |
856 ## - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/50048/1/978-3-030-79876-5.pdfhttps://www.springer.com/9783030798765https://library.oapen.org/handle/20.500.12657/50048">https://library.oapen.org/bitstream/20.500.12657/50048/1/978-3-030-79876-5.pdfhttps://www.springer.com/9783030798765https://library.oapen.org/handle/20.500.12657/50048</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-Book |
Withdrawn status | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|
Directory of Open Access Books | Directory of Open Access Books | 11/28/2022 | 11/28/2022 | 11/28/2022 | E-Book |