Advertisement

Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Introduction

This is a preview of subscription content, log in to check access.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Ferro, A. Introduction. J Autom Reasoning 7, 169–170 (1991). https://doi.org/10.1007/BF00243805

Download citation