CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Set-theoretic decidability results for modal theorem proving
D’Agostino G
,
Montanari A
,
Policriti A
1996-01-01
Cite
Type
Conference paper
Cite
×