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

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

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 Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications

pdf

Author: O'Regan Gerard
Language: English
Year: 2017

00

29.01.2024

1

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 Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

pdf

Author: Moura Leonardo de
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 Dag Prawitz on Proofs and Meaning

Dag Prawitz on Proofs and Meaning

pdf

Author: Prawitz Dag, Prawitz Dag, Wansing Heinrich (eds.)
Language: English
Year: 2015

00

29.01.2024

0

0

book Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science:In Recognition of Professor Andrzej Grzegorczyk

djvu

Author: S. Krajewski S. Krajewski W. Marek G. Mirkowska A. Salwicki J. Wolenski (eds.)
Language: English
Year: 2007

00

29.01.2024

0

0

book The Logical Foundations of Scientific Theories: Languages, Structures, and Models

The Logical Foundations of Scientific Theories: Languages, Structures, and Models

pdf

Author: Decio Krause Jonas R.B. Arenhart
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