Invited tutorial on temporal logic and hybrid logic

Braüner, T. (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode7 nov. 20029 nov. 2002
BegivenhedstitelSecond International Workshop on the History and Philosophy of Logic, Mathematics, and Computation
BegivenhedstypeWorkshop
PlaceringSan Sebastian, Spanien