Koha online

Normal view MARC view ISBD view

Automated Deduction – CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.

By: (23rd : International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland).
Contributor(s): Sofronie-Stokkermans, Viorica [edt.] | Bjørner, Nikolaj [edt.].
Material type: TextTextSeries: Lecture Notes in Computer Science, 6803. Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011ISBN: 9783642224386.Other title: CADE-23 [Other title].Subject(s): Computer science | Software engineering | Logic design | Artificial intelligenceOnline resources: Click here to access online
Tags from this library: No tags from this library for this title.
Item type Current location Call number Status Date due Barcode
National Library of India
Available NLI-EBK000001777ENG

Indian Culture Logo Recognizing the ongoing need to position itself for the digital future, Indian Culture is an initiative by the Ministry of Culture. A platform that hosts data of cultural relevance from various repositories and institutions all over India.

  •  
  •  
  •  

The Indian Culture Portal is a part of the National Virtual Library of India project, funded by the Ministry of Culture, Government of India. The portal has been created and developed by the Indian Institute of Technology, Bombay. Data has been provided by organisations of the Ministry of Culture.