European collaboration on automated reasoning (2014)

First Author: Bundy A
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.3233/aic-130584

Publication URI: http://dx.doi.org/10.3233/aic-130584

Type: Journal Article/Review

Parent Publication: AI Communications

Issue: 1

ISSN: 0921-7126