000			03238naaaa2200673uu 4500
001			https://directory.doabooks.org/handle/20.500.12854/71322
020			_a978-3-030-79876-5
020			_a9783030798765
024	7		_a10.1007/978-3-030-79876-5 _cdoi
041	0		_aEnglish
042			_adc
072		7	_aUYQ _2bicssc
072		7	_aUYA _2bicssc
072		7	_aUM _2bicssc
072		7	_aUMZ _2bicssc
100	1		_aPlatzer, André _4edt
700	1		_aSutcliffe, Geoff _4edt
700	1		_aPlatzer, André _4oth
700	1		_aSutcliffe, Geoff _4oth
245	1	0	_aAutomated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
260			_bSpringer Nature _c2021
300			_a1 electronic resource (650 p.)
506	0		_aOpen Access _2star _fUnrestricted online access
520			_aThis 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			_aCreative Commons _fby/4.0/ _2cc _4http://creativecommons.org/licenses/by/4.0/
546			_aEnglish
650		7	_aArtificial intelligence _2bicssc
650		7	_aMathematical theory of computation _2bicssc
650		7	_aComputer programming / software development _2bicssc
650		7	_aSoftware Engineering _2bicssc
653			_aArtificial Intelligence
653			_aMathematical Logic and Formal Languages
653			_aLogics and Meanings of Programs
653			_aSoftware Engineering
653			_aFormal Languages and Automata Theory
653			_aComputer Science Logic and Foundations of Programming
653			_aautomata theory
653			_aboolean functions
653			_acomputer programming
653			_afirst order logic
653			_aformal languages
653			_aformal logic
653			_alogic programming
653			_amodel checking
653			_aprogram verification
653			_asemantics
653			_asoftware architecture
653			_asoftware design
653			_asoftware quality
653			_asoftware verification
653			_atheorem provers
653			_atheorem proving
653			_aMathematical theory of computation
653			_aComputer programming / software engineering
653			_aComputer architecture & logic design
856	4	0	_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/50048/1/978-3-030-79876-5.pdf _70 _zDOAB: download the publication
856	4	0	_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/50048/1/978-3-030-79876-5.pdf _70 _zDOAB: download the publication
856	4	0	_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/71322 _70 _zDOAB: description of the publication
999			_c54264 _d54264