The Higher-Order Prover Leo-II. (2015)

First Author: Benzmüller C
Attributed to:  Automatic Proof Procedures for Polynomials and Special Functions funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/s10817-015-9348-y

PubMed Identifier: 30174358

Publication URI: http://europepmc.org/abstract/MED/30174358

Type: Journal Article/Review

Volume: 55

Parent Publication: Journal of automated reasoning

Issue: 4

ISSN: 0168-7433