The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Mathematical Logic and Formal Languages,Program » Page 9
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
pdf
Author:
Patricia Bouyer Nicolas Markey Ocan Sankur (auth.) Parosh Aziz Abdulla Igor Potapov (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
pdf
Author:
Adam Brandenburger H. Jerome Keisler (auth.) Bob Coecke Luke Ong Prakash Panangaden (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
The Language of Mathematics: A Linguistic and Philosophical Investigation
pdf
Author:
Mohan Ganesalingam (auth.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
pdf
Author:
Larry Wos (auth.) Maria Paola Bonacina Mark E. Stickel (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
pdf
Author:
Robert Demolombe (auth.) Thomas Ågotnes Jan Broersen Dag Elgesem (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers
pdf
Author:
Gwendoline Fox Juliette Thuilier (auth.) Daniel Lassiter Marija Slavkovik (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
pdf
Author:
Alexander Clark (auth.) Denis Béchet Alexander Dikovsky (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
pdf
Author:
Gilles Barthe Benjamin Grégoire Santiago Zanella Béguelin (auth.) Jeremy Gibbons Pablo Nogueira (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
pdf
Author:
Bran Selic (auth.) Marco Bernardo Vittorio Cortellessa Alfonso Pierantonio (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
pdf
Author:
Michael A. Langston (auth.) Hans L. Bodlaender Rod Downey Fedor V. Fomin Dániel Marx (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
1
...
5
6
7
8
9
10
11
12
13
...
358
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
