Invited tutorial on temporal logic and hybrid logic

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

Periode7 nov. 2002 → 9 nov. 2002
BegivenhedstitelSecond International Workshop on the History and Philosophy of Logic, Mathematics, and Computation
BegivenhedstypeWorkshop
ArrangørUniversity of the Basque Country
PlaceringSan Sebastian, SpanienVis på kort