Benvenuti nell'Anagrafe della Ricerca d'Ateneo

Cialdea, M., F., P. (1993). Propositional abduction in modal logic. In Proc. of the Third Workshop on Theorem Proving with Analytic Tableaux and Related Methods (pp.153-167).

Propositional abduction in modal logic

CIALDEA, Marta;
1993-01-01
1993
Cialdea, M., F., P. (1993). Propositional abduction in modal logic. In Proc. of the Third Workshop on Theorem Proving with Analytic Tableaux and Related Methods (pp.153-167).
4.1 Contributo in Atti di convegno
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/11590/171603
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact