Ústav informatiky Akademie věd České republiky

english
česky

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

Ústav
Výzkum
Aplikace
Aktuality
Události
Knihovna
Kariéra
Kontakty

Ústav informatiky Akademie věd České republiky

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

Ústav
Výzkum
Aplikace
Aktuality
Události
Knihovna
Kariéra
Kontakty

Domů
Události
One-variable RQ & RS5: A Frame Based Equivalence

One-variable RQ & RS5: A Frame Based Equivalence

Kdy: 1. března 2023

Kde:

Seminář / přednáška One-variable RQ & RS5: A Frame Based Equivalence.

Ústav informatiky AV ČR, v.v.i.

Pod Vodárenskou věží 271/2
182 00 Praha 8
Kontakt

Telefon: (+420) 793 965 799
Email: ics@cs.cas.cz

test

© 2026 © Středisko společných činností AV ČR, v. v. i.

Cookies