Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
пошук статей
статті
Пожертвування:
16.7% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Журнали
Участь
Підтримати
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Відкрити LITERA Point
Volume 837
Main
Theoretical Computer Science
Volume 837
Theoretical Computer Science
Volume 837
1
First-order interpolation derived from propositional interpolation
Baaz, Matthias
,
Lolic, Anela
Журнал:
Theoretical Computer Science
Рік:
2020
Файл:
PDF, 347 KB
Ваші теги:
2020
2
On the axiomatisability of priority III: Priority strikes again
Aceto, Luca
,
Anastasiadi, Elli
,
Castiglioni, Valentina
,
Ingólfsdóttir, Anna
,
Luttik, Bas
,
Ruggaard Pedersen, Mathias
Журнал:
Theoretical Computer Science
Рік:
2020
Файл:
PDF, 683 KB
Ваші теги:
2020
3
A note on âPosets having continuous intervalâ
Abdala, Jarafe
,
Santana, Fagner
Журнал:
Theoretical Computer Science
Рік:
2020
Файл:
PDF, 153 KB
Ваші теги:
2020
4
Causality analysis and fault ascription in component-based systems
Gössler, Gregor
,
Stefani, Jean-Bernard
Журнал:
Theoretical Computer Science
Рік:
2020
Файл:
PDF, 703 KB
Ваші теги:
2020
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×