Search

Your search returned 7 results.

Not what you expected? Check for suggestions

Results
		Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang. by Calmet, Jacques [editor.] \| Ida, Tetsuo [editor.] \| Wang, Dongming [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4120Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / edited by Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade. by Calmet, Jacques [editor.] \| Geiselmann, Willi [editor.] \| Müller-Quade, Jörn [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5393Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / edited by Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade. by Calmet, Jacques [editor.] \| Geiselmann, Willi [editor.] \| Müller-Quade, Jörn [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5393Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings / edited by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton. by Autexier, Serge [editor.] \| Calmet, Jacques [editor.] \| Delahaye, David [editor.] \| Ion, Patrick D. F [editor.] \| Rideau, Laurence [editor.] \| Rioboo, Renaud [editor.] \| Sexton, Alan P [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6167Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings / edited by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton. by Autexier, Serge [editor.] \| Calmet, Jacques [editor.] \| Delahaye, David [editor.] \| Ion, Patrick D. F [editor.] \| Rideau, Laurence [editor.] \| Rioboo, Renaud [editor.] \| Sexton, Alan P [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6167Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / edited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Mart�n-Mateos. by Aranda-Corral, Gonzalo A [editor.] \| Calmet, Jacques [editor.] \| Mart�n-Mateos, Francisco J [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8884Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / edited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Mart�n-Mateos. by Aranda-Corral, Gonzalo A [editor.] \| Calmet, Jacques [editor.] \| Mart�n-Mateos, Francisco J [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8884Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Powered by Koha