Esperantoordbok med 230 000 översättningar
Kajero

📜Legilo 📈Ekzercejo


Delsökning (reguljära uttryck stöds)

eo pruvado

Ordanalys:
pruv/ad/o
Antagen struktur:
pru/vad/opruv/a/do
Prononco per kanaoj:
プルヴァード

Synonymer

  • eo demonstracio (Källa: Ssv)

    • Exempel

  • eo priprograma pruvado (Källa: ESPDIC)

    • eo pruvi

    Huvuduppslagsord:
    pruv/i
    Ordanalys:
    pruv/i
    Antagen struktur:
    pru/vi
    Prononco per kanaoj:
    プルーヴィ
    « Verboj ofte uzataj »
    « BRO8 »
    « EJV * »

    Översättningar

    Synonymer

  • eo argumenti (Källa: VES)
  • eo dokumenti (Källa: VES)
  • eo demonstri (laŭ la signifo en la unuopaj okazoj) (Källa: Ssv)

    • eo pruvo

    Huvuduppslagsord:
    pruv/i
    Ordanalys:
    pruv/o
    Antagen struktur:
    pru/vo
    Prononco per kanaoj:
    プルーヴォ

    Översättningar

    Synonymer

  • eo signo (Källa: VES)

    • Exempel

  • eo negativa pruvo (Källa: pejv)
  • eo pozitiva pruvo (Källa: pejv)
  • eo priprograma pruvo (Källa: ESPDIC)
  • eo pruvo de ekzisto (Källa: ESPDIC)
  • eo pruvo per indukto (Källa: ESPDIC)
  • eo pruvo per redukto al absurdo (Källa: ESPDIC)

    • (?) pruvado

    Ordanalys:
    pruv/ad/o
    Antagen struktur:
    pru/vad/opruv/a/do
    Prononco per kanaoj:
    プルヴァード

    Babilejo

    Kajero

    Per Rapida Logik-Rezonada Sistemo 高速度推論システム Cainia0 高速度邏輯推理系統

    De Sato kaj Cainiao

    Funkciigata de SWI-Prolog

    2019-03-14 ver. 1; 2023-09-01 ver. 2; 2024-11-25 ver. 3; 2025-04-25 ver. 3.1