View in EDS HTML Full Text PDF Full Text

Foreword to the Special Issue on Automated Reasoning.

Saved in:

Bibliographic Details
Title:	Foreword to the Special Issue on Automated Reasoning.
Authors:	Fontaine, Pascal¹ Pascal.Fontaine@inria.fr, Kaliszyk, Cezary² cezary.kaliszyk@uibk.ac.at, Schulz, Stephan³ stephan.schulz@dhbw-stuttgart.de, Urban, Josef⁴ Josef.Urban@gmail.com, Fontaine, Kaliszyk, Schulz, Urban
Source:	AI Communications. 2018, Vol. 31 Issue 3, p235-236. 2p.
Database:	Business Source Ultimate
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09217126
DOI:	10.3233/AIC-180765