Doporučené témy vo výsledkoch tohto hľadania:
Zobrazujem výsledky 1 - 3 z 3 pre vyhľadávanie '"first-order logic"'
Doba hľadania: 0,01 s. Upresniť hľadanie
  1. 1
    First-order logic and automated theorem proving /
    Autor Fitting, Melvin
    Vydané 1990
    Kniha

    Pridať do obľúbených
    Uložené v:
  2. 2
    Artificial intelligence : a modern approach /
    Autor Russell, Stuart, 1962-, Norvig, Petr
    Vydané 2021
    Kniha

    Pridať do obľúbených
    Uložené v:
  3. 3
    Artificial intelligence : a textbook /
    Autor Aggarwal, Charu C.
    Vydané 2021
    Kniha

    Pridať do obľúbených
    Uložené v:
Vyhľadávacie nástroje: RSS – Uložiť hľadanie