The Vampire Approach to Induction (2022)

First Author: Hajdu M.
Attributed to:  QuTie: reasoning with Quantifiers and Theories funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 3201

Parent Publication: CEUR Workshop Proceedings

ISSN: 16130073