External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automatic formative assessment of exercises on knowledge representation in first-order logic

Angelo Kyrilov, David C. Noelle. Automatic formative assessment of exercises on knowledge representation in first-order logic. In Janet Carter, Ian Utting, Alison Clear, editors, Innovation and Technology in Computer Science Education conference 2013, ITiCSE '13, Canterbury, United Kingdom - July 01 - 03, 2013. pages 343, ACM, 2013. [doi]

Authors

Angelo Kyrilov

This author has not been identified. Look up 'Angelo Kyrilov' in Google

David C. Noelle

This author has not been identified. Look up 'David C. Noelle' in Google
runs on