Automated Deduction – CADE 28 (Record no. 14554)

MARC details
000 -LEADER
fixed length control field 01183nam a2200121Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220615s9999||||xx |||||||||||||| ||und||
245 #0 - TITLE STATEMENT
Title Automated Deduction – CADE 28
Remainder of title 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
546 ## - LANGUAGE NOTE
Language note English[eng]
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Artificial 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 ## - ADDED ENTRY--PERSONAL NAME
Personal name Platzer, André||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.pdf||https://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||https://library.oapen.org/bitstream/20.500.12657/50048/1/978-3-030-79876-5.pdf</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
        Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre 15/06/2022   15/06/2022 15/06/2022 E-Books