Skip to main content

Zeitschrift

Journal of Automated Reasoning 6/2021
Journal of Automated Reasoning

Ausgabe 6/2021

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (4 Artikel)

26.04.2021

Automated Discovery of Geometric Theorems Based on Vector Equations
Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen

16.06.2021

On the Importance of Domain Model Configuration for Automated Planning Engines
Mauro Vallati, Lukáš Chrpa, Thomas Leo McCluskey, Frank Hutter

27.03.2021

Extensional Higher-Order Paramodulation in Leo-III
Alexander Steen, Christoph Benzmüller

05.04.2021

Automated Reasoning with Restricted Intensional Sets
Maximiliano Cristiá, Gianfranco Rossi

Aktuelle Ausgaben

Premium Partner