Вы здесь

Главная

доказательный

Связанные издания:

Automated Technology for Verification and Analysis: Proc./14th International Symposium, ATVA 2016, Chiba, Japan, October 2016
Dynamic Development and Refinement of HyperMedia Documents
Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019
Hooking Up 3-Space: Three-Dimensional Models as Fully-Fledged Hypermedia Documents
Semantic Modeling and Knowledge Representation in Multimedia Dtabases
Trends in Applied Intelligent Systems, Part III: Proc./23rd International Conferenceon Industrial Engineering and Other Applications of AIS, IEA/AIS 2010, Cordoba, Spain, June 2010
Trends in Applied Intelligent Systems, Part II: Proc./23rd International Conference on Industrial Engineering and Other Applications of AIS, IEA/AIS 2010, Cordova, Spain, June 2010
Trends in Applied Intelligent Systems, Part I: Proc./23rd International Confference on Industrial Engineering and Other Applications of AIS, IEA/AIE 2010, Cordoba, Spain, June 2010
Using IR Techniques for Text Classification in Document Analysis
Доказательные вычисления на ЭВМ
Научные основы доказательного программирования