BulDML at Institute of Mathematics and Informatics: Browsing DSpace

Browsing by Subject "Automated Reasoning"

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я

or enter first few letters:

Showing results 1 to 2 of 2

Issue Date	Title	Author(s)	Publisher
2006	The Development of Parallel Resolution Algorithms Using the Graph Representation	Averin, Andrey; Vagin, Vadim	Institute of Information Theories and Applications FOI ITHEA
2008	Second Attempt to Build a Model of the Tic-Tac-Toe Game	Dobrev, Dimiter	Institute of Information Theories and Applications FOI ITHEA

Showing results 1 to 2 of 2