Отображение 1,241 - 1,260 результаты of 1,266 для поиска '"Logic."', время запроса: 0.05сек. Отмена результатов
  1. 1241
    New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  2. 1242
    Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  3. 1243
    Demonstratives
    Публикация 2003
    Предметы: “...Language and logic...”
    Книга
  4. 1244
    Machine Learning Challenges Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13
    по Quinonero-Candela, Joaquin
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  5. 1245
    AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings
    по Sattar, Abdul
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  6. 1246
    Knowledge Discovery in Databases: PKDD 2005 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings
    по Brazdil, Pavel
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  7. 1247
    Knowledge Discovery in Databases: PKDD 2006 10th European Conference on Principles and Practice of Knowledge Discovery in Databases, Berlin, Germany, September 18-22, 2006, Proceedings
    по Fürnkranz, Johannes
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  8. 1248
    Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  9. 1249
    New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  10. 1250
    Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings
    по Matsumoto, Yuji
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  11. 1251
    Ontology Matching
    по Euzenat, Jérôme
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  12. 1252
    Chinese Spoken Language, Processing 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings
    по Huo, Qiang
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  13. 1253
    Основы моделирования систем учебное пособие
    Предметы: “...AnyLogic, среда имитационного моделирования...”
    Полный текст
    Электронная книга
  14. 1254
    Natural Language Processing - IJCNLP 2004 First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers
    по Kwong, Oi Yee
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  15. 1255
    Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
    по Vieira, Renata
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  16. 1256
    Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  17. 1257
    Natural Language Processing - IJCNLP 2005 Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings
    по Dale, Robert
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  18. 1258
    Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic....”
    Полный текст
    Электронная книга
  19. 1259
    Conjectures and refutations the growth of scientific knowledge
    по Popper, Karl Raimund 1902-1994
    Публикация 2002
    Предметы: “...Prediction (Logic)...”
    Книга
  20. 1260
    Системы пространственного звучания [учебное пособие для вузов по специальности 654200 "Радиотехника", 201400 "Аудиовизуальная техника"]
    Предметы: “...Dolby Pro Logic...”
    Книга
Инструменты поиска: RSS-поток