dblp.uni-trier.dewww.uni-trier.de

Vyacheslav Bocharov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
1 Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin: Automated First Order Natural Deduction. IICAI 2005: 1292-1311

Coauthor Index

1Alexander Bolotov [1]
2Alexander Gorchakov [1]
3Vasilyi Shangin [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)