поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Fixed-Point Logics on Trees [PhD Thesis]
University of Amsterdam
Amelie Gheerbrant
ϕ
finite
µtl
fixed
structures
trees
formula
logics
formulas
mso
modal
theorem
temporal
induction
linear
games
henkin
interpolation
lfp1
strategy
tc1
ā
consider
define
relational
calculus
winning
duplicator
whenever
āi
defined
illc
propositional
definable
stutter
equivalent
b̄
invariant
node
proposition
expressive
completeness
lemma
axiomatization
effo
fragment
nodes
standard
operators
fragments
Год:
2010
Язык:
english
Файл:
PDF, 1.08 MB
Ваши теги:
0
/
0
english, 2010
2
Motor Cortex in Voluntary Movements
Vaadia
,
Eilon and Simone Cardoso de Oliveira
bimanual
activity
unimanual
figure
related
correlation
correlations
neuronal
neurons
cortex
crc
llc
sma
lfp
contralateral
evoked
onset
effect
hemisphere
shown
monkey
shows
trials
hemispheres
recorded
mep
population
increases
msec
figure
coordination
meps
task
brain
interhemispheric
ipsilateral
preference
pvs
recording
cortical
activation
monkeys
parallel
period
lfp1
lfp2
neurosci
tuned
field
average
Язык:
english
Файл:
PDF, 1.78 MB
Ваши теги:
0
/
0
english
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×