Data di Pubblicazione:
1998
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Benini, Marco; Kalvala, S.; Nowotka, D.
Link alla scheda completa:
Titolo del libro:
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs’98, Canberra, Australia, September 27 – October 1, 1998, Proceedings
Pubblicato in: