विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Your search returned 13 results.

Results
	1.	Logical Foundations of Computer Science by Sergei Artemov, Anil Nerode Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	2.	Recent Trends in Algebraic Development Techniques by Narciso Mart�-Oliet, Miguel Palomino Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	3.	Typed Lambda Calculi and Applications by Masahito Hasegawa Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	4.	The Nature of Computation. Logic, Algorithms, Applications by Paola Bonizzoni, Vasco Brattka, Benedikt L�we Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	5.	Logic, Rationality, and Interaction by Davide Grossi, Olivier Roy, Huaxin Huang Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	6.	Rewriting and Typed Lambda Calculi by Gilles Dowek Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	7.	Pristine Perspectives on Logic, Language, and Computation by Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	8.	Correct System Design by Roland Meyer, Andr� Platzer, Heike Wehrheim Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	9.	Recent Trends in Algebraic Development Techniques by Mihai Codescu, Razvan Diaconescu, Ionu? ?u?u Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	10.	Logic, Rationality, and Interaction by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	11.	Recent Trends in Algebraic Development Techniques by Phillip James, Markus Roggenbach Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	12.	Logic, Rationality, and Interaction by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online access: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1). Add to cart (remove)
	13.	Probabilistic Extensions of Various Logical Systems by Zoran Ognjanović Material type: Text Publication details: Springer Nature 2020 Online access: Click here to access online Availability: Items available for reference: : Not for loan (1). Add to cart (remove)