Instructing equational set-reasoning with otter

Formisano A.

•

Omodeo E. G.

•

Temperini M.

2001

conference object

DOI

10.1007/3-540-45744-5_12

Archivio

http://hdl.handle.net/11390/1193587

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84867754896

Diritti

metadata only access

Soggetti

Scopus© citazioni

10

Data di acquisizione
Jun 14, 2022

Visualizzazioni

2

Data di acquisizione
Apr 19, 2024