## Home > Tags: meanings (Total 4 Records)

### Electric Words: Dictionaries, Computers, and Meanings (ACL-MIT Series in Natural Language Processing)

Algorithms By:Yorick A. Wilks 1996-01-23 00:00:00

The use of computers to understand words continues to be an area of burgeoning research. Electric Words is the first general survey of and introduction to the entire range of work in lexical linguistics and corpora the study of such on-line resources as dictionaries and other texts in the broader electric words, acl-mit series, natural language, usable lexical knowledge, lexical linguistics

Tags:
*computer*
*language*
*series*
*processing*
*natural*
*words*
*acl-mit*
*meanings*
*electric*
*dictionaries*

### The B-Book: Assigning Programs to Meanings

Programming By:J. R. Abrial 2005-11-03 00:00:00

The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of exam software systems, generalized substitution language, special emphasis, various mathematical structures, abstract machine notation

### The B-Book: Assigning Programs to Meanings

Programming By:J. R. Abrial 2005-11-03 00:00:00

The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of exam software systems, specify software systems the author gives examples, generalized substitution language, various mathematical structures, abstract machine notation

### The B-Book: Assigning Programs to Meanings

Programming By:J. R. Abrial 2005-00-00 00:00:00

The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of exam software systems, mathematical, generalized substitution language, various mathematical structures, abstract machine notation