Ցուցադրվում են
1 - 1
արդյունքները
1
այս փնտրման համար '
'
Անցեք բովանդակությանը
VuFind
Ձեր հաշիվը
Դուրս գալ
Մուտք
Լեզու
Հայերէն
English
Deutsch
Français
Русский
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
Զտիչների վերակայում
Առաջարկվող թեմաներ:
Automatic theorem proving
Զտիչների վերակայում
Ցույց տալ զտիչները (1)
Առաջարկվող թեմաներ:
Automatic theorem proving
Որոնման արդյունքները
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Artificial intelligence
1
Automatic theorem proving
Logic programming
1
Ցուցադրվում են
1 - 1
արդյունքները
1
այս փնտրման համար '
'
, հարցման ժամանակը: 0.02s
Հստակեցնել արդյունքները
Տեսակավորել
Համապատասխանություն
Ամսաթիվը նվազող
Ամսաթիվը Աճող
Դասիչ
Հեղինակ
Վերնագիր
1
Բեռնվում է…
Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : Proceedings /
Հրապարակվել է 2007
Դասիչ:
Բեռնվում է…
Տեղակայված է:
Բեռնվում է…
Գիտաժողովի նյութեր
Գիրք
Բեռնվում է…
Պահել ցուցակում
Պահպանված է:
Որոնման գործիքներ:
Ստացեք RSS հոսք
–
Էլփոստով ուղարկեք այս փնտրումը
–
Պահպանել որոնումը
Հետ
Հստակեցնել արդյունքները
Հաստատություն
Fundamental Scientific Library
1
Գրադարան
Հիմնարար գիտական գրադարան
1
Ձևաչափ
Գիրք
1
Գիտաժողովի նյութեր
1
Հեղինակ
Dershowitz, Nachum
1
LPAR 2007 Yerevan, Armenia
1
Voronkov, Andrei 1959-
1
Լեզու
English
1
Ժանր
Congresses
1
Հրատարակման տարի
Սկսած:
Դեպի: