The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Intelligence & Semantics,AI & Machine Learning,Computer Science,Computers & Technology,P » Page 8
Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary
djvu
Author:
David S. Warren
Language:
English
Year:
1993
0
0
29.01.2024
0
0
Read online
Natural Language Understanding
djvu
Author:
James Allen
Language:
English
Year:
1994
0
0
29.01.2024
0
0
Read online
Metaphor: A Computational Perspective
pdf
Author:
Tony Veale Ekaterina Shutova Beata Beigman Klebanov
Language:
English
Year:
2016
0
0
29.01.2024
0
0
Read online
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
pdf
Author:
Matti Jarvisalo Allen Van Gelder
Language:
English
Year:
2013
0
0
29.01.2024
0
0
Read online
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...
pdf
Author:
Carsten Sinz Uwe Egly
Language:
English
Year:
2014
0
0
29.01.2024
0
0
Read online
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
pdf
Author:
Marijn Heule Sean Weaver
Language:
English
Year:
2015
0
0
29.01.2024
0
0
Read online
Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
pdf
Author:
Karem A. Sakallah Laurent Simon
Language:
English
Year:
2011
0
0
29.01.2024
0
0
Read online
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
pdf
Author:
Alessandro Cimatti Roberto Sebastiani
Language:
English
Year:
2012
0
0
29.01.2024
0
0
Read online
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
pdf
Author:
Hans Kleine Büning Xishun Zhao
Language:
English
Year:
2008
0
0
29.01.2024
0
0
Read online
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
pdf
Author:
Oliver Kullmann
Language:
English
Year:
2009
0
0
29.01.2024
0
0
Read online
1
...
4
5
6
7
8
9
10
11
12
...
25
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через