Belief revision with explicit justifications: an exploration in type theory

Onderzoeksoutput: Boek/rapportRapportAcademic

66 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's30
StatusGepubliceerd - 2000

Publicatie series

NaamComputing science reports
Volume0017
ISSN van geprinte versie0926-4515

Citeer dit