Альтернативы поиска:
languages » language (Расширить поиск)
Отображение 41 - 60 результаты of 654 для поиска '"Mathematical Logic and Formal Languages"', время запроса: 0.09сек. Отмена результатов
  1. 41
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    по Julliand, Jacques
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  2. 42
    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...”
    Полный текст
    Электронная книга
  3. 43
    Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /
    по Inoue, Katsumi
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  4. 44
    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...”
    Полный текст
    Электронная книга
  5. 45
    Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
    по Banâtre, Jean-Pierre
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  6. 46
    Concrete Semantics With Isabelle/HOL /
    по Nipkow, Tobias, Klein, Gerwin
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  7. 47
    The Seventeen Provers of the World Foreword by Dana S. Scott
    по Wiedijk, Freek
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  8. 48
    Robustness and Usability in Modern Design Flows
    по Fey, Görschwin
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  9. 49
    Logica Volume 1 Dimostrazioni e modelli al primo ordine /
    по Abrusci, Vito Michele, Falco, Lorenzo Tortora
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  10. 50
    Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  11. 51
    Epistemology, Context, and Formalism
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  12. 52
    Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
    по Baral, Chitta
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  13. 53
    Transactions on Computational Systems Biology VIII
    по Priami, Corrado
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  14. 54
    Logica Universalis Towards a General Theory of Logic /
    по Beziau, Jean-Yves
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  15. 55
    Logica Universalis Towards a General Theory of Logic /
    по Beziau, Jean-Yves
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  16. 56
    Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
    по Fisher, Michael
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  17. 57
    Membrane Computing (vol. # 3850) 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
    по Freund, Rudolf
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  18. 58
    Membrane Computing (vol. # 3365) 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
    по Mauri, Giancarlo
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  19. 59
    Implementation and Application of Automata (vol. # 3317) 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
    по Domaratzki, Michael
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  20. 60
    Abstraction, Refinement and Proof for Probabilistic Systems
    по McIver, Annabelle
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток