Ú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
A Simplified Lower Bound on Intuitionistic Implicational Proofs

A Simplified Lower Bound on Intuitionistic Implicational Proofs

Kdy: 10. května 2023

Kde:

Seminář / přednáška A Simplified Lower Bound on Intuitionistic Implicational Proofs.

Ú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