Author: Mary Elizabeth Stevens
Publisher:
ISBN:
Category : Automatic indexing
Languages : en
Pages : 300
Book Description
Automatic Indexing: a State-of-the-art Report
Author: Mary Elizabeth Stevens
Publisher:
ISBN:
Category : Automatic indexing
Languages : en
Pages : 300
Book Description
Publisher:
ISBN:
Category : Automatic indexing
Languages : en
Pages : 300
Book Description
Indexing and Classification
Author: Winifred F. Desmond
Publisher: Oak Ridge, Tenn. : Oak Ridge National Laboratory
ISBN:
Category : Abstracting and indexing
Languages : en
Pages : 186
Book Description
Publisher: Oak Ridge, Tenn. : Oak Ridge National Laboratory
ISBN:
Category : Abstracting and indexing
Languages : en
Pages : 186
Book Description
Chronological and Descriptive Index of Patents Applied for and Patents Granted, Containing the Abridgements of Provisional and Complete Specifications
Author: Great Britain. Patent Office
Publisher:
ISBN:
Category : Patents
Languages : en
Pages : 1132
Book Description
Publisher:
ISBN:
Category : Patents
Languages : en
Pages : 1132
Book Description
Descriptive index [afterw.] Chronological and descriptive index of patents applied for and patents granted, by B. Woodcroft
Chronological Index of Patents Applied for and Patents Granted
Author: Great Britain. Patent Office
Publisher:
ISBN:
Category : Patents
Languages : en
Pages : 888
Book Description
Publisher:
ISBN:
Category : Patents
Languages : en
Pages : 888
Book Description
Applied Science & Technology Index
Author:
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 2216
Book Description
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 2216
Book Description
Applied Science & Technology Index
Author:
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 1734
Book Description
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 1734
Book Description
Term Indexing
Author: Peter Graf
Publisher: Springer Science & Business Media
ISBN: 9783540610403
Category : Computers
Languages : en
Pages : 308
Book Description
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
Publisher: Springer Science & Business Media
ISBN: 9783540610403
Category : Computers
Languages : en
Pages : 308
Book Description
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
Handbook on Hedonic Indexes and Quality Adjustments in Price Indexes Special Application to Information Technology Products
Author: Triplett Jack
Publisher: OECD Publishing
ISBN: 9264028153
Category :
Languages : en
Pages : 258
Book Description
Price indexes can be constructed using a “hedonic method” that adjusts for changes in the quality of a product. This handbook sets out best practice for constructing hedonic indexes.
Publisher: OECD Publishing
ISBN: 9264028153
Category :
Languages : en
Pages : 258
Book Description
Price indexes can be constructed using a “hedonic method” that adjusts for changes in the quality of a product. This handbook sets out best practice for constructing hedonic indexes.
Starting an Indexing Business
Author: Enid L. Zafran
Publisher: Information Today, Inc.
ISBN: 9781573870740
Category : Education
Languages : en
Pages : 82
Book Description
This popular work offers advice to those entering the field of indexing. It covers indexing as a second job, as an "at-home" business for a parent with young children, and as a full-time career. Chapters from a range of contributors explain what publishers expect, what you need to set up shop, and how to find clients. Also included are the results of an ASI fee survey and a sample agreement form for indexers to use when contracting for services.
Publisher: Information Today, Inc.
ISBN: 9781573870740
Category : Education
Languages : en
Pages : 82
Book Description
This popular work offers advice to those entering the field of indexing. It covers indexing as a second job, as an "at-home" business for a parent with young children, and as a full-time career. Chapters from a range of contributors explain what publishers expect, what you need to set up shop, and how to find clients. Also included are the results of an ASI fee survey and a sample agreement form for indexers to use when contracting for services.