Your search returned 6 results.

Not what you expected? Check for suggestions
1.
The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / Makoto Kanazawa [and others] (eds.).

by Mathematics of Language (12th : 2011 : Nara, Japan) | Kanazawa, Makoto, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Logic, rationality, and interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.).

by LORI (Workshop) (3rd : 2011 : Guangzhou, China) | Ditmarsch, Hans van, 1959- | Lang, Jérôme | Ju, Shier.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).

by International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany) | Schreck, Pascal | Narboux, Julien | Richter-Gebert, Jürgen, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: ADG 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / Johan Jeuring [and others] (eds.).

by AISC (Conference) (11th : 2012 : Bremen, Germany) | Jeuring, Johan, 1965- | Calculemus (Symposium) (19th : 2012 : Bremen, Germany) | DML 2012 (2012 : Bremen, Germany) | MKM 2012 (2012 : Bremen, Germany) | CICM (Conference) (5th : 2012 : Bremen, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: AISC 2012 | Calculemus 2012 | DML 2012 | MKM 2012 | CICM 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).

by Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina) | Ong, Luke | Queiroz, Ruy J. G. B. de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: WoLLIC 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (eds.).

by CICM (Conference) (6th : 2013 : Bath, England) | Carette, Jacques (Computer scientist) [editor.] | Aspinall, D [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | MKM (Conference) (12th : 2013 : Bath, England) | Calculemus (Symposium) (20th : 2013 : Bath, England) | DML (Workshop) (6th : 2013 : Bath, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha