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
Nature of contents
dictionariesbibliographytechnical reports
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
resource.issuingbody
resource.sponsoringbody
Incoming Resources
- Has instance1
Outgoing Resources
- Contributor5
- Content1
- Editor3
- resource.issuingbody1
- Other version1
- resource.sponsoringbody1