Your search returned 3 results.

Results
	1.	No cover image available Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25â€“30, 2020, Proceedings by Goubault-Larrecq, Jean\|\|KÃ¶nig, Barbara Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	2.	No cover image available Advances in Proof-Theoretic Semantics by Piecha, Thomas\|\|Schroeder-Heister, Peter Material type: Text Online resources: Click here to access online Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1). Place hold Add to cart (remove)
	3.	Logics for computer science : classical and non-classical by Wasilewska, Anita Material type: 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 (remove)

Refine your search