Your search returned 5 results.

Not what you expected? Check for suggestions

Results
	1.	Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by Gonthier, Georges [editor.] Norrish, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8307 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by Carette, Jacques [editor.] Aspinall, David [editor.] Lange, Christoph [editor.] Sojka, Petr [editor.] Windsteiger, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7961 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by Libkin, Leonid [editor.] Kohlenbach, Ulrich [editor.] Queiroz, Ruy de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8071 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by Morrill, Glyn [editor.] Nederhof, Mark-Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8036 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by Ida, Tetsuo [editor.] Fleuriot, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7993 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)