B. Konev, Tudor Jebelean,
"Solution Lifting Method for Handling Meta-variables in Theorema"
, Serie RISC Report Series, Nummer 01-20 ?, RISC JKU, Hagenberg, 10-2001, Boris Konev, T. Jebelean SYNASC 01: 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania (RISC-Linz Report Series No 01-20, editors: S. Maruster, B. Buchberger, V. Negru, T. Jebelean) // Buchtitel: SYNASC 2001
Original Titel:
Solution Lifting Method for Handling Meta-variables in Theorema
Sprache des Titels:
Englisch
Veröffentlicher:
RISC JKU
Verlagsanschrift:
Hagenberg
Serie:
RISC Report Series
Number:
01-20 ?
Erscheinungsmonat:
10
Erscheinungsjahr:
2001
Notiz zum Zitat:
Boris Konev, T. Jebelean SYNASC 01: 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania (RISC-Linz Report Series No 01-20, editors: S. Maruster, B. Buchberger, V. Negru, T. Jebelean) // Buchtitel: SYNASC 2001