Year: 2021
Type: article
Source: Journal of Automated Reasoning
Authors: Alexander Steen, Christoph Benzmüller
Institutions: University of Luxembourg, Freie Universität Berlin
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Award: G2983837172
OpenAlex ID: W2964407825