Florina Piroi,
"Focus Windows: A Tool for Automated Provers"
: Symbolic and Numeric Algorithms for Scientific Computing. Proceeding of SYNASC'02 International Workshop, Proceedings of SYNASC02, Seite(n) 275-279, 10-2002, ISBN: 973-585-785-5, F. Piroi
Focus Windows: A Tool for Automated Provers
In D. Petcu V. Negru, D. Zaharie, T. Jebelean, editors, Symbolic and
Numeric Algorithms for Scientific Computing. Proceeding of SYNASC'02
International Worksop, pp. 275-279, Timisoara, Romania, October 9-12, 2002.
ISBN 973-585-785-5. (5 pages)
Original Titel:
Focus Windows: A Tool for Automated Provers
Sprache des Titels:
Englisch
Original Buchtitel:
Symbolic and Numeric Algorithms for Scientific Computing. Proceeding of SYNASC'02 International Workshop
Veröffentlicher:
Proceedings of SYNASC02
Seitenreferenz:
275-279
Erscheinungsmonat:
10
Erscheinungsjahr:
2002
Notiz zum Zitat:
F. Piroi
Focus Windows: A Tool for Automated Provers
In D. Petcu V. Negru, D. Zaharie, T. Jebelean, editors, Symbolic and
Numeric Algorithms for Scientific Computing. Proceeding of SYNASC'02
International Worksop, pp. 275-279, Timisoara, Romania, October 9-12, 2002.
ISBN 973-585-785-5. (5 pages)