Zobrazujem výsledky 1 - 2 z 2 pre vyhľadávanie '"Conference on Automated Deduction"'
Doba hľadania: 0,01 s. Upresniť hľadanie
  1. 1
    6th Conference on Automated Deduction.
    Autor LOVELAND, D.W
    Vydané 1982
    Kniha

    Pridať do obľúbených
    Uložené v:
  2. 2
    7th International Conference on Automated Deduction.
    Autor SHOSTAK, R.E
    Vydané 1984
    Kniha

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