Отображение 301 - 320 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.15сек. Отмена результатов
  1. 301
    Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 302
    Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... -- Exhaustive Execution of CHR through Source-to-Source Transformation -- A Formal Semantics for the Cognitive...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 303
    Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 304
    Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 305
    Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /
    по Kuznetsov, Sergei O.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 306
    Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /
    по Medina, Raoul
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 307
    Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Graphs -- Adding Real Coefficients to Lukasiewicz Logic: An Application to Neural Networks...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 308
    Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 309
    Logic for Programming, Aritficial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    по Hermann, Miki
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 310
    Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Challenges from natural language for deontic logic -- The relationship between deontic and other...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 311
    Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Compilation of Legacy Languages in the 21st Century -- Variation Programming with the Choice...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 312
    Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 313
    Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 314
    ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 315
    Recursion: Complexity in Cognition
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Recursion, Legibility, Use -- Recursion and Truth -- Recursion in Language: Is it Indirectly constrained...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 316
    Advances in Learning Classifier Systems 4th International Workshop, IWLCS 2001 San Francisco, CA, USA, July 7-8, 2001 Revised Papers /
    по Lanzi, Pier Luca
    Публикация 2006
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 317
    AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings /
    по Basili, Roberto
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 318
    Current Topics in Artificial Intelligence 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers.
    по Borrajo, Daniel
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 319
    Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 320
    Formal Concept Analysis (vol. # 3403) Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
    по Ganter, Bernhard
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток