| 000 | 01183nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 220615s9999||||xx |||||||||||||| ||und|| | ||
| 245 | 0 |
_aAutomated Deduction – CADE 28 _b28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings |
|
| 546 | _aEnglish[eng] | ||
| 650 | _aArtificial Intelligence||Mathematical Logic and Formal Languages||Logics and Meanings of Programs||Software Engineering||Formal Languages and Automata Theory||Computer Science Logic and Foundations of Programming||automata theory||boolean functions||computer programming||first order logic||formal languages||formal logic||logic programming||model checking||program verification||semantics||software architecture||software design||software quality||software verification||theorem provers||theorem proving||Mathematical theory of computation||Computer programming / software engineering||Computer architecture & logic design | ||
| 700 | _aPlatzer, André||Sutcliffe, Geoff | ||
| 856 | _uhttps://library.oapen.org/bitstream/20.500.12657/50048/1/978-3-030-79876-5.pdf||https://library.oapen.org/bitstream/20.500.12657/50048/1/978-3-030-79876-5.pdf | ||
| 942 | _cEB | ||
| 999 |
_c14554 _d14554 |
||