- Tytuł:
- Frege Systems for Quantified Boolean Logic.
- Autorzy:
- Temat:
-
CIRCUIT complexity
BOUNDED arithmetics
LOGIC
BOOLEAN functions
CALCULI - Źródło:
- Journal of the ACM; Mar2020, Vol. 67 Issue 2, p1-36, 36p
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.