Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching

Publikation: Forskning - peer reviewBidrag 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 reviewBidrag 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

Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Ploug, Thomas / Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching.

Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010). MIMOS BERHAD , 2010. s. 42-55.

Publikation: Forskning - peer reviewBidrag til bog/antologi

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 -