The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Software Engineering/Program
Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings
pdf
Author:
Olivier Bournez
,
Enrico Formenti
,
Igor Potapov
Language:
English
Year:
2023
0
0
11.02.2025
1
0
Read online
C2 Compiler Concepts
pdf
Author:
Dr. Bernd Teufel Dr. Stephanie Schmidt Prof. Dr. Thomas Teufel (auth.)
Language:
English
Year:
1993
0
0
15.02.2024
3
0
Read online
The Semantic Web: 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings
pdf
Author:
Andreas Harth Sabrina Kirrane Axel-Cyrille Ngonga Ngomo Heiko Paulheim Anisa Rula Anna Lisa Gentile Peter Haase Michael Cochez
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings
pdf
Author:
Dimitar Kazakov Can Erten
Language:
English
Year:
2020
0
0
07.02.2024
1
0
Read online
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
pdf
Author:
Nicolas Peltier Viorica Sofronie-Stokkermans
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
pdf
Author:
Nicolas Peltier Viorica Sofronie-Stokkermans
Language:
English
Year:
2020
0
0
07.02.2024
3
0
Read online
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
pdf
Author:
Marcella Anselmo Gianluca Della Vedova Florin Manea Arno Pauly
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings
pdf
Author:
Ahti-Veikko Pietarinen Peter Chapman Leonie Bosveld-de Smet Valeria Giardino James Corter Sven Linker
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings
pdf
Author:
Daniela Petrişan Jurriaan Rot
Language:
English
Year:
2020
0
0
07.02.2024
2
0
Read online
Decidability of Logical Theories and Their Combination
pdf
Author:
João Rasga Cristina Sernadas
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
1
2
3
4
5
6
7
8
9
10
...
358
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
