(Invited; celebration of Martin Davis' 90th Birthday) A Deontic Logic Reasoning Infrastructure. Special Session on the History and Philosophy of Computing (HaPoC) at the Computability in Europe (CiE) conference, August, 2018. slides
bibtex   
@book{Talk252,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Special Session on the History and Philosophy of Computing (HaPoC) at the Computability in Europe (CiE) conference},
	Title = {{(Invited; celebration of Martin Davis' 90th Birthday)} A Deontic Logic Reasoning Infrastructure},
	Year = 2018,
	note = {<a href="http://christoph-benzmueller.de/papers/2018-CiE.pdf">slides</a>},
	Month = aug, 
}

Downloads: 0