LEADER 03515nam  22008413u 450 
001 996464423903316
005 20240402152634.0
010   $a3-030-79876-3
035   $a(CKB)5590000000532393
035   $aEBL6676599
035   $a(AU-PeEL)EBL6676599
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/71322
035   $a(MiAaPQ)EBC6676599
035   $a(PPN)258303573
035   $a(EXLCZ)995590000000532393
100   $a20220617d2021||||  u||         |
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated Deduction - CADE 28$b[electronic resource] $e28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
210   $aCham $cSpringer International Publishing AG$d2021
215   $a1 online resource (655 p.)
225 1 $aLecture Notes in Computer Science ;$vv.12699
300   $aDescription based upon print version of record.
311   $a3-030-79875-5 
330   $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.
410  0$aLecture Notes in Computer Science
517   $aAutomated Deduction – CADE 28
517   $aAutomated Deduction - CADE 28
606   $aArtificial intelligence$2bicssc
606   $aMathematical theory of computation$2bicssc
606   $aComputer programming / software development$2bicssc
606   $aSoftware Engineering$2bicssc
610   $aArtificial Intelligence
610   $aMathematical Logic and Formal Languages
610   $aLogics and Meanings of Programs
610   $aSoftware Engineering
610   $aFormal Languages and Automata Theory
610   $aComputer Science Logic and Foundations of Programming
610   $aautomata theory
610   $aboolean functions
610   $acomputer programming
610   $afirst order logic
610   $aformal languages
610   $aformal logic
610   $alogic programming
610   $amodel checking
610   $aprogram verification
610   $asemantics
610   $asoftware architecture
610   $asoftware design
610   $asoftware quality
610   $asoftware verification
610   $atheorem provers
610   $atheorem proving
610   $aMathematical theory of computation
610   $aComputer programming / software engineering
610   $aComputer architecture & logic design
615  7$aArtificial intelligence
615  7$aMathematical theory of computation
615  7$aComputer programming / software development
615  7$aSoftware Engineering
700   $aPlatzer$b André$0998008
701   $aSutcliffe$b Geoff$01235917
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a996464423903316
996   $aAutomated Deduction - CADE 28$92870259
997   $aUNISA