Ladislav Kocbach

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998

1 Ladislav Kocbach, Richard Liska: Generation and Verification of Algorithms for Symbolic-Numeric Processing. J. Symb. Comput. 25(3): 367-382 (1998)

1998
1		Ladislav Kocbach, Richard Liska: Generation and Verification of Algorithms for Symbolic-Numeric Processing. J. Symb. Comput. 25(3): 367-382 (1998)

Coauthor Index

1 Richard Liska [1]