Your search returned 5 results.

Results
		Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings by Kiefer, Stefan Kiefer, Stefan Tasson, Christine Tasson, Christine Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2021 Online resources: Click here to access online Click here to access online Click here to access online Availability: Items available for reference: Directory of Open Access Books: Not For Loan (1). Lists: E-Books from Directory of Open Access Books. Add to cart (remove)
		No cover image available No cover image available Advances in Proof-Theoretic Semantics by Piecha, Thomas Schroeder-Heister, Peter Series: Trends in Logic ; 43 Material type: Text; Format: print ; Literary form: Dramas Publisher: Cham Springer Nature 2016 Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Add to cart (remove)
		No cover image available No cover image available Automated Deduction : CADE 28 by Platzer, André Sutcliffe, Geoff Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence ; 12699 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 28th International Conference on Automated Deduction, Virtual Event, July 12:15, 2021, Proceedings Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Add to cart (remove)
		No cover image available No cover image available Foundations of Software Science and Computation Structures by Kiefer, Stefan Tasson, Christine Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; 12650 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 : April 1, 2021, Proceedings Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Add to cart (remove)
		No cover image available No cover image available Graph Structures for Knowledge Representation and Reasoning by Cochez, Michael Croitoru, Madalina Marquis, Pierre Rudolph, Sebastian Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence ; 12640 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Add to cart (remove)

University of Rizal System
Email us at univlibservices@urs.edu.ph

Visit our Website www.urs.edu.ph/library

Powered by Koha