Data di Pubblicazione:
2001
Tipologia CRIS:
02A-Contributo in volume
Elenco autori:
ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I
Link alla scheda completa:
Titolo del libro:
Theorem Proving in Higher Order Logics
Pubblicato in: