Тема, жанр, tags: Computer logic » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer logic » Page 3

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 Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

pdf

Author: England Matthew, Geuvers Herman, Hasan Osman, Rabe Florian, Teschke Olaf
Language: English
Year: 2017

00

29.01.2024

2

0

book Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

pdf

Author: Balduccini Marcello, Janhunen Tomi
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 Applied logic for computer scientists : computational deduction and formal proofs

Applied logic for computer scientists : computational deduction and formal proofs

pdf

Author: Ayala-Rincón Mauricio, Moura Flávio L. C. de
Language: English
Year: 2017

00

29.01.2024

1

0

book A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic

pdf

Author: Christopher C. Leary Lars Kristiansen
Language: English
Year: 2015

00

29.01.2024

0

0

book Handbook of the history of logic. Vol. 09. Computational logic

Handbook of the history of logic. Vol. 09. Computational logic

pdf

Author: Gabbay Dov M., Siekmann Jörg H., Woods John Hayden (eds.)
Language: English
Year: 2014

00

29.01.2024

0

0