A Seligman-Style Tableau System

Klaus Frovin Jørgensen (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode18 dec. 2013
Sted for afholdelse19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
BegivenhedstypeKonference
Konferencenummer19
PlaceringStellenbosch, Sydafrika