The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Computation by Abst » Page 12
Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
pdf
Author:
Michael Kifer (auth.) Paolo Frasconi Francesca A. Lisi (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
pdf
Author:
Bernhard Möller (auth.) Harrie de Swart (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
pdf
Author:
David Poole (auth.) James P. Delgrande Wolfgang Faber (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
pdf
Author:
Mariangiola Dezani-Ciancaglini Silvia Ghilezan Svetlana Jakšić Jovanka Pantović (auth.) Julio Mariño (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
pdf
Author:
Hector Geffner (auth.) Ron van der Meyden Jan-Georg Smaus (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Industrial Deployment of System Engineering Methods
pdf
Author:
Alexander Romanovsky Martyn Thomas (auth.) Alexander Romanovsky Martyn Thomas (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
pdf
Author:
Gilles Barthe Benjamin Grégoire Santiago Zanella Béguelin (auth.) Antoine Miné David Schmidt (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
pdf
Author:
Samson Abramsky Jonathan Zvesper (auth.) Dirk Pattinson Lutz Schröder (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
pdf
Author:
Andrea Asperti Wilmer Ricciotti (auth.) Luke Ong Ruy de Queiroz (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
New Frontiers in Artificial Intelligence: JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers
pdf
Author:
Alastair Butler (auth.) Manabu Okumura Daisuke Bekki Ken Satoh (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
1
...
8
9
10
11
12
13
14
15
16
...
358
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через