Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010)
Antal sider	14
Udgivelsessted	MIMOS BERHAD
Publikationsdato	2010
Sider	42-55
ISBN (Trykt)	9789834137151
Status	Udgivet - 2010
Begivenhed	CS-LTA 2010 The First Conceptual Structures - Learning, Teaching and Assessment workshop at ICCS 2010 - Kuching, Malaysia Varighed: 26 jul. 2010 → …

Konference	CS-LTA 2010 The First Conceptual Structures - Learning, Teaching and Assessment workshop at ICCS 2010
Land/Område	Malaysia
By	Kuching
Periode	26/07/2010 → …

AUB Link

@inbook{b0897d641b94439eaab624cd59eefc87,

title = "Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching",

author = "Peter {\O}hrstr{\o}m and Ulrik Sandborg-Petersen and Thomas Ploug",

year = "2010",

language = "English",

isbn = "9789834137151",

pages = "42--55",

booktitle = "Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010)",

note = "CS-LTA 2010 The First Conceptual Structures - Learning, Teaching and Assessment workshop at ICCS 2010 ; Conference date: 26-07-2010",

}

TY - CHAP

T1 - Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching

AU - Øhrstrøm, Peter

AU - Sandborg-Petersen, Ulrik

AU - Ploug, Thomas

PY - 2010

Y1 - 2010

M3 - Book chapter

SN - 9789834137151

SP - 42

EP - 55

BT - Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010)

CY - MIMOS BERHAD

T2 - CS-LTA 2010 The First Conceptual Structures - Learning, Teaching and Assessment workshop at ICCS 2010

Y2 - 26 July 2010

ER -