en proof total
Översättningar
- eo kontrolsumo Christian Bertin
- ja チェックサム (Automatiska förslag)
- en checksum (Automatiska förslag)
- en proof total (Automatiska förslag)
eoTiu ĉi ilo helpas laŭvortan tradukon de teksto. zh这个工具帮助文本逐字翻译。 jaこのツールはテキストの逐語訳を補助します。
Kajero
Multlingva vortaro

Per
Cainia 3.1 双向推理系统

Programita de
Sato kaj Cainiao 2019-2025 Subtenu nin per taso da kafo

Funkciigata de
SWI-Prolog
Babilejo