1
Megjelenés: 2017
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Ugrás a forráshoz
könyv