2 options
Logic programming with extensible types / Ivan Perez, Angel Herranz.
- Format:
- Book
- Government document
- Author/Creator:
- Perez, Ivan (Research scientist), author.
- Herranz, Angel, author.
- Series:
- NASA technical memorandum ; 20240010266.
- NASA/TM ; 20240010266
- Language:
- English
- Physical Description:
- 1 online resource (28 pages) : illustrations.
- Place of Publication:
- Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, August 2024.
- Notes:
- "August 2024."
- In scope of the U.S. Government Publishing Office Cataloging and Indexing Program (C&I) and Federal Depository Library Program (FDLP).
- Includes bibliographical references (pages 26-28).
- Description based on online resource; title from PDF title page (NASA, viewed Aug. 26, 2024).
- OCLC:
- 1453518925
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.