Publications

AuthID
P-00Y-3QE

Author(s)

Document Type

Proceedings Paper

Year published

2023

Published

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

Volume: 375, Issue: 375, Pages: 24-37 (14)

Conference

11Th International Workshop on Theorem Proving Components for Educational Software, Date: AUG 11, 2022, Location: ISRAEL

Indexing

Wos^®

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.4204/eptcs.375.3

SCOPUS: 2-s2.0-85150370777

Wos: WOS:001046394900003

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