Skip to Main content Skip to Navigation
Master thesis

Industrial Placement Report Research Placement in Deducteam

Document type :
Master thesis
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01890253
Contributor : Aristomenis-Dionysios Papadopoulos <>
Submitted on : Monday, October 8, 2018 - 2:40:12 PM
Last modification on : Monday, February 15, 2021 - 10:49:06 AM
Long-term archiving on: : Wednesday, January 9, 2019 - 2:49:55 PM

File

Report (1).pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01890253, version 1

Citation

Aristomenis-Dionysios Papadopoulos. Industrial Placement Report Research Placement in Deducteam. Logic in Computer Science [cs.LO]. 2018. ⟨hal-01890253⟩

Share

Metrics

Record views

157

Files downloads

245