Megjelenítés: 1 - 1 / 1 - kulcsszavak: 'International Conference on Automated Reasoning with Analytic Tableaux and Related Methods26.(2017) (Brasília, Brazília)', keresési idő: 0.01mp Találatok szűrése
1
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Megjelenés: 2017
“...International Conference on Automated Reasoning with Analytic Tableaux and Related Methods26.(2017...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —