B. Konev, Tudor Jebelean,
"Solution Lifting Method for Handling Meta-variables in Theorema Synasc 01"
, in S. Maruster and B. Buchberger and V. Negru and T. Jebelean: Proceedings of SYNASC 2001, Seite(n) 15-23, 3-2001, ISBN: 973-661-441-7, Boris Konev, Tudor Jebelean 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, timisoara, Romania, Oct. 2-4, 2001
Original Titel:
Solution Lifting Method for Handling Meta-variables in Theorema Synasc 01
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of SYNASC 2001
Seitenreferenz:
15-23
Erscheinungsmonat:
3
Erscheinungsjahr:
2001
Notiz zum Zitat:
Boris Konev, Tudor Jebelean 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, timisoara, Romania, Oct. 2-4, 2001