• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

A type calculus for mathematical programming modeling languages

Clemence, Robert D. January 1990 (has links) (PDF)
Dissertation (Ph.D. in Operations Research)--Naval Postgraduate School, September 1990. / Dissertation supervisor: Bradley, Gordon H. "September 1990." Description based on title screen viewed on December 17, 2009. DTIC Descriptor(s): Mathematical models, sizes (dimensions), validation, models, programming languages, drug addiction, algebra, mathematical programming, language, junctions, calculus, homogeneity, integrated systems, mathematical logic. DTIC Identifier(s): Programming languages, mathematical models, calculus, linear programming. Author(s) subject terms: Data types, integrated modeling, linear programming, model validation, mathematical programming software, special purpose languages. Includes bibliographical references (p. 129-132). Also available in print.

Page generated in 0.0701 seconds