d |
d |
||
Riadok 7: | Riadok 7: | ||
||20.<br>2.||27.<br>2.||05.<br>3.||12.<br>3.||19.<br>3.||26.<br>3.||09.<br>4.||16.<br>4. ||23.<br>4.||30.<br>4.||07.<br>5.||14.<br>5. | ||20.<br>2.||27.<br>2.||05.<br>3.||12.<br>3.||19.<br>3.||26.<br>3.||09.<br>4.||16.<br>4. ||23.<br>4.||30.<br>4.||07.<br>5.||14.<br>5. | ||
|- | |- | ||
− | |Michael Jakovlev||Guller||[https:// | + | |Michael Jakovlev||Guller||✓[https://davinci.fmph.uniba.sk/~jakovlev2/ SAT solver v signovanej logike] |
|| || || || || || || || || || || || | || || || || || || || || || || || || | ||
|- | |- |
Verzia zo dňa a času 23:02, 21. február 2024
Utorok, 10:40 - 11:25, M-VIII, Zuzana Černeková
[ naspäť na stránku Bakalárskeho seminára ]