Preface to the Special Issue on Automated Reasoning Systems

Journal article

Open access

Armin Biere, Cesare Tinelli and Christoph Weidenbach

Journal of automated reasoning, Vol.64(3), pp.361-362

03/01/2020

DOI: 10.1007/s10817-019-09531-1

Files and links (1)

url

https://doi.org/10.1007/s10817-019-09531-1View

Published (Version of record) Open Access

no abstract | preface

Computer Science

Technology

Computer Science, Artificial Intelligence

Science & Technology

Title: Subtitle: Preface to the Special Issue on Automated Reasoning Systems
Creators: Armin Biere - Johannes Kepler University of Linz
Cesare Tinelli - University of Iowa
Christoph Weidenbach - Max Planck Society
Resource Type: Journal article
Publication Details: Journal of automated reasoning, Vol.64(3), pp.361-362
Publisher: Springer Nature
DOI: 10.1007/s10817-019-09531-1
ISSN: 0168-7433
eISSN: 1573-0670
Number of pages: 2
Language: English
Date published: 03/01/2020
Academic Unit: Computer Science
Record Identifier: 9984259423202771

1 Record Views