The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Mathematical Logic and Formal Languages » Page 10
Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
pdf
Author:
Boon Thau Loo Harjot Gill Changbin Liu (auth.) Claudio Russo Neng-Fa Zhou (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
pdf
Author:
Christopher A. Fuchs (auth.) Dawei Song Massimo Melucci Ingo Frommholz Peng Zhang Lei Wang Sachi Arafat (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
pdf
Author:
Yongxin Zhao He Jifeng (auth.) Shengchao Qin Zongyan Qiu (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
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
0
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
0
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
1
...
6
7
8
9
10
11
12
13
14
...
358
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
