Logic programming with extensible types / Ivan Perez, Angel Herranz.
| Author/creator | Perez, Ivan author. |
| Other author | Herranz, Angel, author. |
| Other author | Ames Research Center, issuing body. |
| Format | Electronic |
| Publication | Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, August 2024. |
| Description | 1 online resource (28 pages) : illustrations. |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo232371 |
| Series | NASA/TM ; 20240010266 NASA technical memorandum ; 20240010266. ^A467613 |
| General note | "August 2024." |
| General note | In scope of the U.S. Government Publishing Office Cataloging and Indexing Program (C&I) and Federal Depository Library Program (FDLP). |
| General note | GPO Cataloging Record Distribution Program (CRDP). |
| Bibliography note | Includes bibliographical references (pages 26-28). |
| Report note | Technical memorandum |
| Source of description | Description based on online resource; title from PDF title page (NASA, viewed Aug. 29, 2024). |
| GPO item number | 0830-D (online) |
| Govt. docs number | NAS 1.15:20240010266 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |