Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014

Research output: Book/ReportBook

Standard

Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014. / England, Matthew (Editor); Davenport, James H (Editor); Kohlhase, Andrea (Editor); Kohlhase, Michael (Editor); Libbrecht, Paul (Editor); Neuper, Walther (Editor); Quaresma, Pedro (Editor); Sexton, Alan (Editor); Sojka, Petr (Editor); Urban, Josef (Editor); Watt, Stephen M (Editor).

CEUR-WS.org, 2014. (CEUR Workshop Proceedings; Vol. 1186).

Research output: Book/ReportBook

Harvard

APA

Vancouver

Author

England, Matthew (Editor) ; Davenport, James H (Editor) ; Kohlhase, Andrea (Editor) ; Kohlhase, Michael (Editor) ; Libbrecht, Paul (Editor) ; Neuper, Walther (Editor) ; Quaresma, Pedro (Editor) ; Sexton, Alan (Editor) ; Sojka, Petr (Editor) ; Urban, Josef (Editor) ; Watt, Stephen M (Editor). / Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014. CEUR-WS.org, 2014. (CEUR Workshop Proceedings).

Bibtex

@book{fa218121973048fcaec56e2678edcf87,
title = "Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014",
editor = "Matthew England and Davenport, {James H} and Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and Walther Neuper and Pedro Quaresma and Alan Sexton and Petr Sojka and Josef Urban and Watt, {Stephen M}",
year = "2014",
month = jul,
day = "1",
language = "English",
volume = "1186",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS.org",

}

RIS

TY - BOOK

T1 - Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014

A2 - England, Matthew

A2 - Davenport, James H

A2 - Kohlhase, Andrea

A2 - Kohlhase, Michael

A2 - Libbrecht, Paul

A2 - Neuper, Walther

A2 - Quaresma, Pedro

A2 - Sexton, Alan

A2 - Sojka, Petr

A2 - Urban, Josef

A2 - Watt, Stephen M

PY - 2014/7/1

Y1 - 2014/7/1

M3 - Book

VL - 1186

T3 - CEUR Workshop Proceedings

BT - Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 2014

PB - CEUR-WS.org

ER -