Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Kirchner, Florent (Ecole Normale Superieure Cachan, France) Date Acquired
September 7, 2013
Publication Date
September 1, 2003
Publication Information
Publication: Design and Application of Strategies/Tactics in Higher Order Logics
Subject Category
Mathematical And Computer Sciences (General) Funding Number(s)
CONTRACT_GRANT: NCC1-02043
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.