Logic programming with extensible types /

Bibliographic Details
Main Authors: Perez, Ivan (Research scientist) (Author), Herranz, Angel (Author)
Format: Government Document eBook
Language:English
Published: Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, August 2024.
Series:NASA technical memorandum ; 20240010266.
Subjects:
Online Access:https://purl.fdlp.gov/GPO/gpo232371
Description
Item Description:"August 2024."
In scope of the U.S. Government Publishing Office Cataloging and Indexing Program (C&I) and Federal Depository Library Program (FDLP).
GPO Cataloging Record Distribution Program (CRDP).
Physical Description:1 online resource (28 pages) : illustrations.
Bibliography:Includes bibliographical references (pages 26-28).