Venema, Yde

検索結果4件中 1-4 を表示

  • Modal logic

    Patrick Blackburn, Maarten de Rijke, Yde Venema

    Cambridge University Press 2002, c2001 Cambridge tracts in theoretical computer science 53

    : paperback

    所蔵館28館

  • Modal logic

    Patrick Blackburn, Maarten de Rijke, Yde Venema

    Cambridge University Press 2001 Cambridge tracts in theoretical computer science 53

    所蔵館33館

  • Multi-dimensional modal logic

    by Maarten Marx and Yde Venema

    Kluwer Academic c1997 Applied logic series v. 4

    所蔵館20館

  • Modal logic and process algebra : a bisimulation perspective

    edited by Alban Ponse, Maarten de Rijke & Yde Venema

    Center for the Study of Language and Information c1995 CSLI lecture notes no. 53

    : pbk

    所蔵館40館

ページトップへ