Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching
Publikation: Forskning - peer review › Bidrag til bog/antologi
Standard
Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching. / Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Ploug, Thomas.
Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010). MIMOS BERHAD , 2010. s. 42-55.Publikation: Forskning - peer review › Bidrag til bog/antologi
Harvard
Øhrstrøm, P, Sandborg-Petersen, U & Ploug, T 2010, 'Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching'. i Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010). MIMOS BERHAD , s. 42-55.
APA
Øhrstrøm, P., Sandborg-Petersen, U., & Ploug, T. (2010). Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching. I Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010). (s. 42-55). MIMOS BERHAD .
CBE
Øhrstrøm P, Sandborg-Petersen U, Ploug T. 2010. Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching. I Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010). MIMOS BERHAD . s. 42-55.
MLA
Øhrstrøm, Peter, UlrikSandborg-Petersen, og ThomasPloug "Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching". Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010). MIMOS BERHAD . 2010. 42-55.
Vancouver
Øhrstrøm P, Sandborg-Petersen U, Ploug T. Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching. I Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010). MIMOS BERHAD . 2010. s. 42-55.
Author
Bibtex
@inbook{b0897d641b94439eaab624cd59eefc87,
title = "Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching",
author = "Peter Øhrstrøm and Ulrik Sandborg-Petersen and Thomas Ploug",
year = "2010",
isbn = "9789834137151",
pages = "42-55",
booktitle = "Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010)",
}
RIS
TY - CHAP
T1 - Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching
A1 - Øhrstrøm,Peter
A1 - Sandborg-Petersen,Ulrik
A1 - Ploug,Thomas
AU - Øhrstrøm,Peter
AU - Sandborg-Petersen,Ulrik
AU - Ploug,Thomas
CY - MIMOS BERHAD
PY - 2010
Y1 - 2010
SN - 9789834137151
BT - Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010)
T2 - Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010)
SP - 42
EP - 55
ER -