Boris Kulik

According to our database, Boris Kulik authored at least 2 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2021

Methods for Finding Consequences with Specified Properties.

Boris Kulik, Alexander Fridman

Proceedings of the Artificial Intelligence - 19th Russian Conference, 2021

2012

Algebraic Approach to Logical Inference Implementation.

Boris Kulik, Alexander Fridman, Alexander Zuenko

Comput. Informatics, 2012