Salta alla navigazione principale Salta alla ricerca Salta al contenuto principale

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

Lingua originaleInglese
Pagine238-244
Numero di pagine7
Stato di pubblicazionePubblicato - 2007
EventoTABLEAUX 2007 - Aix en Provence, France
Durata: 1 gen 2007 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???TABLEAUX 2007
CittàAix en Provence, France
Periodo1/01/07 → …

Cita questo