Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
2.
No cover image available
3.
Logics for computer science : classical and non-classical by
Material type: Text Text; Literary form: Not fiction
Publication details: Switzerland, Springer, 2018
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 004.2 WAS/L.

Place hold Add to cart
Pages