Theory-specific automated reasoning

Formisano A.

•

Omodeo E. G.

2010

book part

DOI

10.1007/978-3-642-14309-0_3

WOS

WOS:000281165400003

Archivio

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

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

Diritti

metadata only access

Soggetti

Scopus© citazioni

5

Data di acquisizione
Jun 2, 2022

Visualizzazioni

1

Data di acquisizione
Apr 19, 2024