Publicações

AuthID
P-00Q-GEQ

Author(s)

Botana, F

Brucker, A

Hasek, R

Maric, F

Neuper, W

Schreiner, W

Wolff, B

Tipo de Documento

Proceedings Paper

Year published

2018

Publicado

in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSN: 2075-2180

Número: 267

Conference

6Th International Workshop on Theorem Proving Components for Educational Software (Thedu), Date: AUG 06, 2017, Location: Gothenburg, SWEDEN

Indexing

Wos^®

Publication Identifiers

Wos: WOS:000465418300001

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis