Publications

AuthID
P-007-YRB

Author(s)

Editor(s)

Blackburn, P; VanDitmarsch, H; Manzano, M; SolerToscano, F

Document Type

Proceedings Paper

Year published

2011

Published

in TOOLS FOR TEACHING LOGIC in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743

Volume: 6680, Pages: 62-69 (8)

Conference

3Rd International Congress on Tools for Teaching Logic (Ticttl), Date: JUN 01-04, 2011, Location: Salamanca, SPAIN

Indexing

Wos^®

Scopus^®

Crossref^®6

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-642-21350-2_8

Dblp: conf/ticttl/FerreiraMCBSBO11

Scopus: 2-s2.0-79959216611

Wos: WOS:000312402400008

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

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

Useful Links