FEEDBACK Smiley face

Your search returned 22 results. Subscribe to this search

|
1. Automated Deduction in Geometry [electronic resource] :International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers /

by Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

2. Automated Deduction in Geometry [electronic resource] :Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings /

by Gao, Xiao-Shan [author.] | Wang, Dongming [author.] | Yang, Lu [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

3. Automated Deduction in Geometry [electronic resource] :Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers /

by Richter-Gebert, Jürgen [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

4. Automated Deduction in Geometry [electronic resource] :4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers /

by Winkler, Franz [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

5. Automated Deduction in Geometry [electronic resource] :5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers /

by Hong, Hoon [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available

6. Automated Deduction in Geometry [electronic resource] :6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /

by Botana, Francisco [editor.] | Recio, Tomas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available

7. Graph Theory, Computational Intelligence and Thought [electronic resource] :Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday /

by Lipshteyn, Marina [editor.] | Levit, Vadim E [editor.] | McConnell, Ross M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

8. Automated Deduction in Geometry [electronic resource] :7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

by Sturm, Thomas [editor.] | Zengler, Christoph [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Online access: Click here to access online Availability: No items available

9. Functional and Constraint Logic Programming [electronic resource] :20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

by Kuchen, Herbert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

10. Automated Deduction in Geometry [electronic resource] :8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /

by Schreck, Pascal [editor.] | Narboux, Julien [editor.] | Richter-Gebert, Jürgen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

11. Logical Aspects of Computational Linguistics [electronic resource] :7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings /

by Béchet, Denis [editor.] | Dikovsky, Alexander [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Online access: Click here to access online Availability: No items available

12. Logic, Language and Meaning [electronic resource] :18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers /

by Aloni, Maria [editor.] | Kimmelman, Vadim [editor.] | Roelofsen, Floris [editor.] | Sassoon, Galit W [editor.] | Schulz, Katrin [editor.] | Westera, Matthijs [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Online access: Click here to access online Availability: No items available

13. Rough Sets and Knowledge Technology [electronic resource] :7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings /

by Li, Tianrui [editor.] | Nguyen, Hung Son [editor.] | Wang, Guoyin [editor.] | Grzymala-Busse, Jerzy [editor.] | Janicki, Ryszard [editor.] | Hassanien, Aboul Ella [editor.] | Yu, Hong [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

14. Formal Grammar [electronic resource] :15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers /

by Groote, Philippe de [editor.] | Nederhof, Mark-Jan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

15. Argumentation in Multi-Agent Systems [electronic resource] :8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers /

by McBurney, Peter [editor.] | Parsons, Simon [editor.] | Rahwan, Iyad [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

16. Logics in Artificial Intelligence [electronic resource] :13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /

by Cerro, Luis Fariñas del [editor.] | Herzig, Andreas [editor.] | Mengin, Jérôme [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

17. Logic and Its Applications [electronic resource] :5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /

by Lodaya, Kamal [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

18. Logic, Language, and Computation [electronic resource] :9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers /

by Bezhanishvili, Guram [editor.] | Löbner, Sebastian [editor.] | Marra, Vincenzo [editor.] | Richter, Frank [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

19. The Language of Mathematics [electronic resource] :A Linguistic and Philosophical Investigation /

by Ganesalingam, Mohan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

20. Programming Logics [electronic resource] :Essays in Memory of Harald Ganzinger /

by Voronkov, Andrei [editor.] | Weidenbach, Christoph [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in