Showing 1,241 - 1,260 results of 1,294 for search '"Logic"', query time: 0.05s Refine Results
  1. 1241
    The Semantic Web - ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings
    by Benjamins, V. Richard
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 1242
    Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures /
    by Antoniou, Grigoris
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 1243
    Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
    by Marchiori, Massimo
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 1244
    Advances in Computer Science вЂ" ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings /
    by Cervesato, Iliano
    Published in Springer e-books (2007)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 1245
    Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /
    by Okada, Mitsu
    Published in Springer eBooks (2008)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 1246
    Reasoning Web (vol. # 3564) First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
    by Eisinger, Norbert
    Published in Springer e-books (2005)
    Subjects: “...Logic design 306256...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 1247
    Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 1248
    Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 1249
    Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 1250
    Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 1251
    Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 1252
    Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic. 463252...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 1253
    Fuzzy Logic and Applications (vol. # 2955) 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers
    by Di Gesú, Vito
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 1254
    Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings
    by Imiya, Atsushi
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 1255
    AI 2005: Advances in Artificial Intelligence 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings
    by Jarvis, Ray
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 1256
    Fuzzy Logic and Applications (vol. # 3849) 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
    by Bloch, Isabelle
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 1257
    AI 2007: Advances in Artificial Intelligence 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings /
    by Orgun, Mehmet A.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 1258
    Rough Sets and Current Trends in Computing 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings
    by Greco, Salavatore
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 1259
    Database Theory - ICDT 2007 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings
    by Schwentick, Thomas
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 1260
    Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed