The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: First-Order Logic,Logic Fallacies,Discrete Mathematics,Proofs,Mathematical Induction,Propositional L » Page 3
Theoremus: A Student's Guide to Mathematical Proofs
pdf
Author:
Lito Perez Cruz
Language:
English
Year:
2021
0
0
08.02.2024
0
0
Read online
Algorithms and Models for the Web Graph: 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings
pdf
Author:
Bogumił Kamiński Paweł Prałat Przemysław Szufel
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Combinatorial Algorithms: 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings
pdf
Author:
Leszek Gąsieniec Ralf Klasing Tomasz Radzik
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Mathematical Modelling in Real Life Problems: Case Studies from ECMI-Modelling Weeks
pdf
Author:
Ewald Lindner Alessandra Micheletti Cláudia Nunes
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Computer Science – Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
pdf
Author:
Henning Fernau
Language:
English
Year:
2020
0
0
07.02.2024
3
0
Read online
Mathematical Optimization Theory and Operations Research: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings
pdf
Author:
Alexander Kononov Michael Khachay Valery A Kalyagin Panos Pardalos
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings
pdf
Author:
Ryszard Janicki Natalia Sidorova Thomas Chatain
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
pdf
Author:
Fabio Gadducci Timo Kehrer
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Discrete Mathematics for Computer Science
pdf
Author:
Jon Pierre Fortney
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Combinatorial Optimization: 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers
pdf
Author:
Mourad Baïou Bernard Gendron Oktay Günlük A. Ridha Mahjoub
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
1
2
3
4
5
6
7
8
9
10
...
255
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
