Partecipazione al “Fifth Workshop on Proof eXchange for Theorem Proving – PxTP2017 e FroCoS 2017 – Brasilia” per il periodo dal 23 al 29/9/2017
most specific type: Project
type: Thing
identifier: AL_RIC17SGHIL_01
ARG_2000028: AL RIC17SGHIL 01
type: Project
type: Occurrent
type: Entity
type: Process

Entity
type: Class

Process
type: Class

individual
rights: termsOfUse
date: 2026-08-03T23:11:09
publisher: Partecipazione al “Fifth Workshop on Proof eXchange for Theorem Proving – PxTP2017 e FroCoS 2017 – Brasilia” per il periodo dal 23 al 29/9/2017
type: Document
label: RDF description of Partecipazione al “Fifth Workshop on Proof eXchange for Theorem Proving – PxTP2017 e FroCoS 2017 – Brasilia” per il periodo dal 23 al 29/9/2017 - http://irises.unimi.it/resource/project/AL%5FRIC17SGHIL%5F01

Project
type: Class

Occurrent
type: Class