1-5 of 5 Books
Final & interim reports for NASA grant NAG2-513
Final & interim reports for NASA grant NAG2-513
By Robert Grossman
Hopf-algebraic structure of combinatorial objects and different operators
Hopf-algebraic structure of combinatorial objects and different operators
By Robert Grossman
Resolution of the 1D regularized Burgers equation using a spatial wavelet approximation
Resolution of the 1D regularized Burgers equation using a spatial wavelet approximation
By J. Liandrat
Abstract datatypes in PVS
Abstract datatypes in PVS
By Sam Owre
Expected performance of m-solution backtracking
Expected performance of m-solution backtracking
By David Nicol