CINECA IRIS Institutional Research Information System

HELM and the Semantic Math-Web

PADOVANI, Luca;
2001-01-01
2001
Inglese
Richard J. Boulton, Paul B. Jackson
Theorem Proving in Higher Order Logics
Sì, ma tipo non specificato
Springer
Berlin
GERMANIA
LNCS 2152
59
74
9783540425250
9783540447559
LECTURE NOTES IN COMPUTER SCIENCE
2-s2.0-84949522459
ITALIA
ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I
4
info:eu-repo/semantics/bookPart
02-CAPITOLO DI LIBRO::02A-Contributo in volume
268
none
02A-Contributo in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/68599
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? ND
social impact