Publications

AuthID
P-00Q-GE0

Author(s)

Neuper, W

Document Type

Proceedings Paper

Year published

2019

Published

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

Issue: 290

Conference

7Th International Workshop on Theorem Proving Components for Educational Software (Thedu), Date: JUL 18, 2018, Location: Oxford, ENGLAND

Indexing

Wos^®

Publication Identifiers

Wos: WOS:000465438500001

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Marked List

Info

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

Useful Links