Goranko, Valentin

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

  • Temporal logics in computer science : finite-state systems

    Stéphane Demri, Valentin Goranko, Martin Lange

    Cambridge University Press 2016 Cambridge tracts in theoretical computer science 58

    : hardback

    所蔵館3館

  • Advances in modal logic

    edited by Philippe Balbiani ... [et al.]

    King's College Publications c2003-

    v. 4 : pbk , v. 4 : hbk , v. 5 : pbk , v. 6 : pbk , v. 7 : pbk , v. 8 : pbk , v. 9 : pbk , v. 10 : pbk , v. 11 : pbk , v. 12 : pbk

    所蔵館6館

ページトップへ