000			02437nam a22006015i 4500
001			978-3-319-63046-5
003			DE-He213
005			20240423125904.0
007			cr nn 008mamaa
008			170710s2017 sz | s |||| 0|eng d
020			_a9783319630465 _9978-3-319-63046-5
024	7		_a10.1007/978-3-319-63046-5 _2doi
050		4	_aQ334-342
050		4	_aTA347.A78
072		7	_aUYQ _2bicssc
072		7	_aCOM004000 _2bisacsh
072		7	_aUYQ _2thema
082	0	4	_a006.3 _223
245	1	0	_aAutomated Deduction – CADE 26 _h[electronic resource] : _b26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / _cedited by Leonardo de Moura.
250			_a1st ed. 2017.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017.
300			_aXI, 582 p. 87 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v10395
505	0		_aAutomated deduction -- Including foundations -- Applications.-Implementations -- Practical experience.
520			_aThe chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
650		0	_aArtificial intelligence.
650		0	_aMachine theory.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aAlgorithms.
650	1	4	_aArtificial Intelligence.
650	2	4	_aFormal Languages and Automata Theory.
650	2	4	_aComputer Science Logic and Foundations of Programming.
650	2	4	_aSoftware Engineering.
650	2	4	_aAlgorithms.
700	1		_ade Moura, Leonardo. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783319630458
776	0	8	_iPrinted edition: _z9783319630472
830		0	_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v10395
856	4	0	_uhttps://doi.org/10.1007/978-3-319-63046-5
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c182762 _d182762