Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Semenov-Babichev-Leshchenko/95"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Subdefinite computations and symbolic transformations in the UniCalc solver Publikation auswählen
Alexander Semenov, Alexander Babichev, Alexander Leshchenko

Proceedings of the 2nd International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, AISMC-2 (Cambridge, United Kingdom, August 3-5, 1994)
Lecture Notes in Computer Science 958 , 1995, pp. 264-275

Editors  Jacques Calmet, John A. Campbell
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest