Ցուցադրվում են
1 - 1
արդյունքները
1
այս փնտրման համար '
"2007"
'
Անցեք բովանդակությանը
VuFind
Ձեր հաշիվը
Դուրս գալ
Մուտք
Լեզու
Հայերէն
English
Deutsch
Français
Русский
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
Զտիչների վերակայում
Հեղինակ:
Dershowitz, Nachum
AND
LPAR 2007 Yerevan, Armenia
AND
Voronkov, Andrei 1959-
Գրադարան:
Հիմնարար գիտական գրադարան
Ժանր:
Congresses
Հաստատություն:
Fundamental Scientific Library
Առաջարկվող թեմաներ:
Artificial intelligence
Զտիչների վերակայում
Ցույց տալ զտիչները (7)
Հեղինակ:
Dershowitz, Nachum
AND
LPAR 2007 Yerevan, Armenia
AND
Voronkov, Andrei 1959-
Գրադարան:
Հիմնարար գիտական գրադարան
Ժանր:
Congresses
Հաստատություն:
Fundamental Scientific Library
Առաջարկվող թեմաներ:
Artificial intelligence
Որոնման արդյունքները - "2007"
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Artificial intelligence
Automatic theorem proving
1
Logic programming
1
Ցուցադրվում են
1 - 1
արդյունքները
1
այս փնտրման համար '
"2007"
'
, հարցման ժամանակը: 0.01s
Հստակեցնել արդյունքները
Տեսակավորել
Համապատասխանություն
Ամսաթիվը նվազող
Ամսաթիվը Աճող
Դասիչ
Հեղինակ
Վերնագիր
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
Հեղինակ
Dershowitz, Nachum
LPAR 2007 Yerevan, Armenia
Voronkov, Andrei 1959-
Լեզու
English
1
Ժանր
Congresses
Հրատարակման տարի
Սկսած:
Դեպի: