Inproceedings,

Reasoning with Generics and Induction.

.
CLAR, volume 1811 of CEUR Workshop Proceedings, page 93-102. CEUR-WS.org, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews