Fundamentals of Logic and Computation

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

по Zhe Hou
3/5
Впервые опубликовано
2022
Издатели
Springer International Publishing AG
Язык
English

Книги

Похожие книги