Design and application of strategies/tactics in higher order logics, edited by Myla Archer, Ben Di Vito, César Muñoz
Type
Label
Design and application of strategies/tactics in higher order logics, edited by Myla Archer, Ben Di Vito, César Muñoz
Language
eng
Bibliography note
Includes bibliographical references and index
resource.governmentPublication
federal national government publication
Illustrations
illustrations
Index
index present
Literary Form
non fiction
Main title
Design and application of strategies/tactics in higher order logics
Medium
electronic resource
Nature of contents
technical reportsdictionariesbibliography
Oclc number
897379227
Responsibility statement
edited by Myla Archer, Ben Di Vito, César Muñoz
Series statement
NASA/CP, 2003-212448
resource.variantTitle
Design and application of strategies tactics in higher order logics
Contributor
Content
Is Part Of
resource.issuingbody
resource.sponsoringbody
Mapped to
Incoming Resources
- Has instance1
Outgoing Resources
- Contributor5
- Subject5
- Content1
- Editor3
- Is Part Of1
- resource.issuingbody1
- Other version1
- resource.sponsoringbody1
- Mapped to1