Тема, жанр, tags: Logic Symbolic and mathematical » Page 14 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logic Symbolic and mathematical » Page 14

book 数理逻辑

pdf

Author: 汪芳庭
Language: Chinese
Year: 1990

00

29.01.2024

0

0

book Logica matematica: elemente de calcul cu propozitii si predicate

Logica matematica: elemente de calcul cu propozitii si predicate

pdf

Author: Mihailescu Eugen
Language: Romanian
Year: 1969

00

29.01.2024

0

0

book Elements of the theory of completeness in propositional logic

Elements of the theory of completeness in propositional logic

pdf

Author: Wojtylak Piotr, Pogorzelski Witold
Language: English
Year: 1982

00

29.01.2024

0

0

book Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

pdf

Author: Baltag Alexandru, Seligman Jeremy, Yamada Tomoyuki
Language: English
Year: 2017

00

29.01.2024

0

0

book Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,

pdf

Author: Laure Petrucci Cristina Seceleanu Ana Cavalcanti (editors)
Language: English
Year: 2017

00

29.01.2024

0

0

book Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

pdf

Author: Dixon Clare, Finger Marcelo
Language: English
Year: 2017

00

29.01.2024

0

0

book Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

pdf

Author: Mauricio Ayala-Rincón César A. Muñoz (editors)
Language: English
Year: 2017

00

29.01.2024

0

0

book Introduction to Relation Algebras Volume 1 : Relation Algebras

Introduction to Relation Algebras Volume 1 : Relation Algebras

pdf

Author: Givant Steven
Language: English
Year: 2017

00

29.01.2024

0

0

book Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

pdf

Author: Benslimane Djamal, Damiani Ernesto, Grosky William I., Hameurlain Abdelkader, Sheth Amit, Wagner Roland R
Language: English
Year: 2017

00

29.01.2024

0

0

book Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

pdf

Author: Marco Bozzano Yiannis Papadopoulos (editors)
Language: English
Year: 2017

00

29.01.2024

0

0