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

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

Your search returned 13 results.

Results
	1.		Programming Logics by Andrei Voronkov, Christoph Weidenbach Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	2.		Programming Multi-Agent Systems by Mehdi Dastani, Jomi F. H�bner, Brian Logan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	3.		Inductive Logic Programming by Fabrizio Riguzzi, Filip �elezn� Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	4.		Applications of Declarative Programming and Knowledge Management by Hans Tompits, Salvador Abreu, Johannes Oetsch, J�rg P�hrer, Dietmar Seipel, Masanobu Umeda, Armin Wolf Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	5.		Functional and Logic Programming by Michael Codish, Eijiro Sumii Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	6.		Declarative Programming and Knowledge Management by Michael Hanus, Ricardo Rocha Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	7.		Emotion Modeling by Tibor Bosse, Joost Broekens, Jo�o Dias, Janneke van der Zwaan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	8.		Inductive Logic Programming by Gerson Zaverucha, V�tor Santos Costa, Aline Paes Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	9.		Inductive Logic Programming by Jesse Davis, Jan Ramon Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	10.		Automated Technology for Verification and Analysis by Bernd Finkbeiner, Geguang Pu, Lijun Zhang Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	11.		Functional and Logic Programming by Oleg Kiselyov, Andy King Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	12.		Inductive Logic Programming by Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	13.		Automated Technology for Verification and Analysis by Cyrille Artho, Axel Legay, Doron Peled Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2016 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore