Logo del repository
  1. Home
 
Opzioni

Set-theoretic decidability results for modal theorem proving

D'AGOSTINO G
•
MONTANARI A
•
POLICRITI A
1996
  • conference object

Archivio
http://hdl.handle.net/11390/678131
Diritti
metadata only access
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback