Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 2 արդյունքները 2 այս փնտրման համար '', հարցման ժամանակը: 0.01s Հստակեցնել արդյունքները
  1. 1
    Ламбда-исчисление : Его синтаксис и семантика /
    Барендрегт, Хендрик Питер
    Հրապարակվել է 1985
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  2. 2
    Математическая логика и автоматическое доказательство теорем : Пер. с англ. /
    Чень, Ч.
    Հրապարակվել է 1983
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը