Отображение 481 - 500 результаты of 1,294 для поиска '"Logic."', время запроса: 0.08сек. Отмена результатов
  1. 481
    Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    по Araki, Keijiro
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  2. 482
    Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    по Altenkirch, Thorsten
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  3. 483
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    по Cuellar, Jorge
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  4. 484
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  5. 485
    New Developments in Formal Languages and Applications
    по Bel-Enguix, Gemma
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  6. 486
    Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
    по Miculan, Marino
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  7. 487
    Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Pr
    по Drossopoulou, Sophia
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  8. 488
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    по Baader, Franz
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  9. 489
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings
    по Barkaoui, Kamel
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  10. 490
    A General Framework for Reasoning On Inconsistency
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  11. 491
    Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /
    по O’Regan, Gerard
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  12. 492
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  13. 493
    Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  14. 494
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  15. 495
    Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  16. 496
    Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  17. 497
    Predication and Ontology Studies and Texts on Avicennian and Post-Avicennian Readings of Aristotle's ›Categories‹
    по Kalbarczyk, Alexander
    Публикация 2018
    Предметы: “...Predicate (Logic)...”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 498
    How epistemic modifiers emerge
    по Mache, Jakob
    Публикация 2019
    Предметы: “...Epistemic logic....”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 499
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  20. 500
    AI 2015: Advances in Artificial Intelligence 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток