Tárgyszó
---Művelet---
Felkutat
Megoszt
---Keresés---
Téma
Tárgyszó
Kulcs:
Automatikus bizonyítás
Fölérendeltje:
Bizonyítás
Megj.:
Automatikus (automatizált) tételbizonyítás
Halis István Városi Könyvtár
TextLib
WWW V2.01.01/1673 - InfoKer