Коментарі: Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / Bernhard Gramlich, Dale Miller, Uli Sattler (eds.).

Summary goes here

Збережено в:

Бібліографічні деталі
Формат:	Книга
Мова:	Англійська
Предмети:	Automatic theorem proving Computer logic Théorèmes Logique informatique Informatique. Computer science. Software engineering. Logic design. Electronic data processing. Artificial intelligence. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Mathematics of Computing. Numeric Computing. computerwetenschappen computer sciences numerieke methoden numerical methods computertechnieken computer techniques computerwiskunde computational mathematics kunstmatige intelligentie wiskunde mathematics logica logic Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Будьте першим, хто залишить коментар!