Тема, жанр, tags: Logique informatique » Page 7 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logique informatique » Page 7

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 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

book Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

pdf

Author: Kunčak Viktor, Majumdar Rupak
Language: English
Year: 2017

00

29.01.2024

0

0

book Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

pdf

Author: Kunčak Viktor, Majumdar Rupak
Language: English
Year: 2017

00

29.01.2024

0

0

book Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

pdf

Author: Manuel V. Hermenegildo Pedro Lopez-Garcia (editors)
Language: English
Year: 2017

00

29.01.2024

0

0

book Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

pdf

Author: Cunha Jácome, Fernandes João P., Lämmel Ralf, Saraiva João, Zaytsev Vadim
Language: English
Year: 2017

00

29.01.2024

0

0

book Intensionality

djvu

Author: Kahle Reinhard (eds.)
Language: English
Year: 2005

00

29.01.2024

0

0

book Leo Esakia on duality in modal and intuitionistic logics

Leo Esakia on duality in modal and intuitionistic logics

pdf

Author: Bezhanishvili Guram (eds.)
Language: English
Year: 2014

00

29.01.2024

0

0

book The Notre Dame Lectures: Lecture Notes in Logic, 18

The Notre Dame Lectures: Lecture Notes in Logic, 18

djvu

Author: Peter Cholak (eds.)
Language: English
Year: 2005

00

29.01.2024

0

0

book Quantum Mathematical Physics: A Bridge between Mathematics and Physics

Quantum Mathematical Physics: A Bridge between Mathematics and Physics

pdf

Author: Felix Finster Johannes Kleiner Christian Röken Jürgen Tolksdorf (eds.)
Language: English
Year: 2016

00

29.01.2024

0

0