A Seligman-Style Tableau System

  • Klaus Frovin Jørgensen (Foredragsholder)

Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

Periode18 dec. 2013
Begivenhedstitel19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
BegivenhedstypeKonference
Konferencenummer19
PlaceringStellenbosch, SydafrikaVis på kort