Výsledky vyhledávání - I.2.3 Deduction and theorem proving. Logic programming
Pro Váš dotaz - I.2.3 Deduction and theorem proving. Logic programming - nebyl nalezen žádný výsledek.
Více výsledků můžete získat úpravou Vašeho dotazu.
- Boolovské operátory je třeba zapisovat VELKÝMI PÍSMENY: I.2.3 Deduction AND theorem proving. Logic programming.
- Použití zástupných znaků (*, ?) může pomoci při hledání více tvarů slov: I.2.3 Deduction and theorem proving. Logic programming*.