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

Alexander Leshchenko

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

1994
1 Alexander Semenov, Alexander Babichev, Alexander Leshchenko: Subdefinite Computations and Symbolic Transformations in the UniCalc Solver. AISMC 1994: 264-275

Coauthor Index

1Alexander Babichev [1]
2Alexander Semenov [1]

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