Альтернативы поиска:
languages » language (Расширить поиск)
Отображение 21 - 40 результаты of 654 для поиска '"Mathematical Logic and Formal Languages"', время запроса: 0.07сек. Отмена результатов
  1. 21
    Leo Esakia on Duality in Modal and Intuitionistic Logics
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  2. 22
    Notes on Set Theory
    по Moschovakis, Yiannis
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  3. 23
    Finite Model Theory
    по Ebbinghaus, Heinz-Dieter
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  4. 24
    Contributions to the Science of Text and Language Word Length Studies and Related Issues /
    по Grzybek, Peter
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  5. 25
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  6. 26
    Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  7. 27
    Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /
    по Baral, Chitta
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  8. 28
    Computational Logic in Multi-Agent Systems (vol. # 3487) 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
    по Leite, João
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  9. 29
    A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
    по Caromel, Denis
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  10. 30
    Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
    по Mazzola, Guerino
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  11. 31
    Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
    по Carnielli, Walter
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  12. 32
    Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  13. 33
    Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  14. 34
    Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
    по Nievergelt, Yves
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  15. 35
    Computational Logic in Multi-Agent Systems (vol. # 3900) 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
    по Toni, Francesca
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  16. 36
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    по Henson, Martin
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  17. 37
    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...”
    Полный текст
    Электронная книга
  18. 38
    Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  19. 39
    Institution-independent Model Theory
    по Diaconescu, Răzvan
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  20. 40
    Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
    по Krishnamurthi, Shriram
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток