similaj al: logic

・Kajero giúp hiểu sâu hơn nhờ nhiều ngôn ngữ, chủ yếu hiển thị ví dụ dịch, ví dụ dùng và các từ liên quan thay vì định nghĩa.

Similaj al: logic

Chọn hộp kiểm () để luyện tập trong khu vực luyện tập

Faritaj 9,520,933 inferencoj, 0.770 CPU-sekundoj en 0.774 reale pasintaj sekundoj.

Kajero
Multlingva vortaro

Per
Cainia 3.1 双向推理系统

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

Funkciigata de
SWI-Prolog