Jump to main content

yr 〜
yr

Search results 3

Abstract datatypes in PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-97-206264)

Abstract datatypes in PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-97-206264)
Microform図書
1997<YCA-NAS 1.26:206264>
National Diet Library

The power of control structures and data structures

The power of control structures and data structures
Paper図書
[Richard DeMillo, Stanley Eisenstat, Richard Lipton]U.S. Dept. of Commerce, National Technical Information Service[1976]
Other Libraries in Japan
  • Subject Heading...am reliability Trees(Mathematics) Go to statements
  • Subject Heading (ID)...am reliability Trees(Mathematics) Go to statements

An adaptive linguistic model for pattern representation and recognition . Direct products of relational systems . Notes on a combinational strategy for enumeration problems

An adaptive linguistic model for pattern representation and recognition . Direct products of relational systems . Notes on a combinational strategy for enumeration problems
Paper図書
by David Rothenberg . by Erik Ellentuck . by David RothenbergNational Technical Information Service, U.S. Dept. of Commerce[1971]
Other Libraries in Japan
  • Subject Heading...nalysis. dtict TREES(MATHEMATICS) CONTROL THEORY
  • Subject Heading (ID)...nalysis. dtict TREES(MATHEMATICS) CONTROL THEORY

Reached to the end of result.

RSS