Your search returned 2 results.

Results
	1.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. by Davis, Martin [edt] Fehnker, Ansgar [edt] McIver, Annabelle [edt] Voronkov, Andrei [edt] Series: Lecture Notes in Computer Science ; 9450 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2.	New information technology in education : United Kingdom/ Commission of the European Communities. by Commission of the European Communities Brown, Jenny Coupland, Jon Davies, Martin Gifford, Carolyn [edt.] Office for Official Publications of the European Communities [pbl] Material type: Text; Literary form: Not fiction Language: English Publication details: Luxembourg: Office for Official Publications of the European Communities, 1993 Availability: Items available for loan: National Library of India (1)Call number: EC 370.941. Place hold Request article Save to lists

Refine your search