Entscheidungsproblem
in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms
üksikjuht nähtusest
mathematical problem
on omadusega
decidability
See on automaatne vaade, mis põhineb projekti Vikiandmed andmetel.
Artiklit veel pole, kuid saad aidata seda luua.
in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms
| GND | 4253928-6 teema nimetus kujul: Entscheidungsproblem |
| Microsoft Academic ID | |
| ScienceDirect topic ID | |
| Freebase |