Skip to Main content Skip to Navigation
Books

Special Issue of Journal of Automated Reasoning - IJCAR 2018

Document type :
Books
Complete list of metadatas

https://hal.univ-lorraine.fr/hal-03004284
Contributor : Didier Galmiche <>
Submitted on : Friday, November 13, 2020 - 3:39:28 PM
Last modification on : Sunday, November 15, 2020 - 3:24:14 AM

Identifiers

  • HAL Id : hal-03004284, version 1

Collections

Citation

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

Share

Metrics

Record views

9