The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Mathematical Logic and Formal Languages » Page 11
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
pdf
Author:
Joost-Pieter Katoen (auth.) Gwen Salaün Bernhard Schätz (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings
pdf
Author:
Ruth Kempson (auth.) Michael Beigl Henning Christiansen Thomas R. Roth-Berghofer Anders Kofod-Petersen Kenny R. Coventry Hedda R. Schmidtke (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
pdf
Author:
María Alpuente Marco Antonio Feliú Christophe Joubert Alicia Villanueva (auth.) Oege de Moor Georg Gottlob Tim Furche Andrew Sellers (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
1
0
Read online
AI*IA 2011: Artificial Intelligence Around Man and Beyond: XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings
pdf
Author:
Stephen Grossberg (auth.) Roberto Pirrone Filippo Sorbello (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
pdf
Author:
Alexandr Andoni (auth.) Filip Murlak Piotr Sankowski (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Conceptual Structures for Discovering Knowledge: 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011. Proceedings
pdf
Author:
Frithjof Dau (auth.) Simon Andrews Simon Polovina Richard Hill Babak Akhgar (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
1
0
Read online
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
pdf
Author:
Andreas Distler Muhammad Shah Volker Sorge (auth.) James H. Davenport William M. Farmer Josef Urban Florian Rabe (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
pdf
Author:
Jasmin Fisher (auth.) Alex Groce Madanlal Musuvathi (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
2
0
Read online
Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings
pdf
Author:
Maxime Amblard (auth.) Sylvain Pogodalla Jean-Philippe Prost (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
3
0
Read online
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
pdf
Author:
Didier Dubois (auth.) Weiru Liu (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
1
...
7
8
9
10
11
12
13
14
15
...
360
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
