Cover Image

Improving automated strategies for univariate quantifier elimination /

Bibliographic Details
Main Authors: Cordwell, Katherine (Author), Muñoz, César A., 1968- (Author), Dulte, Aaron M. (Author)
Format: Government Document eBook
Language:English
Published: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, January 2021.
Series:NASA technical memorandum ; 20205010644.
Subjects:
Computer programming.
Computer programs.
Online Access:https://purl.fdlp.gov/GPO/gpo150352
Description
Item Description:"January 2021."
Physical Description:1 online resource (22 pages) : illustration.
Bibliography:Includes bibliographical references (pages 11-12).