Special Issue of Journal of Automated Reasoning - IJCAR 2018 - Université de Lorraine Access content directly
Books Year : 2020
No file

Dates and versions

hal-03004284 , version 1 (13-11-2020)

Identifiers

  • HAL Id : hal-03004284 , version 1

Cite

Didier Galmiche, Stephan Schulz, Roberto Sebastiani. Special Issue of Journal of Automated Reasoning - IJCAR 2018. 64 (7), 2020, Journal of Automated Reasoning. ⟨hal-03004284⟩
54 View
0 Download

Share

Gmail Facebook X LinkedIn More