Article Request

Purchase Suggestion

Question Papers

Normal view MARC view ISBD view

Automated Deduction â€“ CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12â€“15, 2021, Proceedings

Contributor(s):

Platzer, AndrÃ©||Sutcliffe, Geoff

Material type: Text

Text

TextSubject(s):

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

Online resources:

Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E-Books	Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre		Available

English[eng]

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS
More searches

Search for this title in:
Goodreads Google Books Amazon India Kerala Academic Library Network (Union Catalog)