Alexander Gorchakov
According to our database1,
Alexander Gorchakov
authored at least 1 paper
in 2005.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2005
Automated First Order Natural Deduction.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005