Commonsense Reasoning Meets Theorem Proving.
U. Furbach, и C. Schon.
Bridging@IJCAI , том 1651 из CEUR Workshop Proceedings, стр. 74-85. CEUR-WS.org, (2016)

  • @cschon
  • @dblp
К этой публикации ещё не было создано рецензий.

распределение оценок
средняя оценка пользователей0,0 из 5.0 на основе 0 рецензий
    Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)