automated publication - перевод на русский
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

automated publication - перевод на русский

CATALOGING DATA PRINTED IN ITS WORK
Cataloguing in Publication; Cataloguing in publication; Cataloging-in-Publication; Cataloging in publication; Cataloguing-in-Publication
Найдено результатов: 410
automated publication      
издание, набор которого хранится для быстрого переиздания
publication         
  • Server rack, delivering data to inquiries.
  • Modern computing and networking have revolutionized publishing.
CONTENT MADE AVAILABLE TO THE GENERAL PUBLIC
Publications; Publicatios; Print publication; Unpublished; Unpublished work; Unpublished works; Publication date; Publication (copyright)

[pʌbli'keiʃ(ə)n]

общая лексика

издание

опубликование

публикация

существительное

общая лексика

опубликование

публикация

издание

выход

выпуск (книги и т. п.)

произведение

опубликование, издание

оглашение

unpublished         
  • Server rack, delivering data to inquiries.
  • Modern computing and networking have revolutionized publishing.
CONTENT MADE AVAILABLE TO THE GENERAL PUBLIC
Publications; Publicatios; Print publication; Unpublished; Unpublished work; Unpublished works; Publication date; Publication (copyright)
неизданный
unpublished         
  • Server rack, delivering data to inquiries.
  • Modern computing and networking have revolutionized publishing.
CONTENT MADE AVAILABLE TO THE GENERAL PUBLIC
Publications; Publicatios; Print publication; Unpublished; Unpublished work; Unpublished works; Publication date; Publication (copyright)
unpublished adj. неопубликованный, неизданный
unpublished         
  • Server rack, delivering data to inquiries.
  • Modern computing and networking have revolutionized publishing.
CONTENT MADE AVAILABLE TO THE GENERAL PUBLIC
Publications; Publicatios; Print publication; Unpublished; Unpublished work; Unpublished works; Publication date; Publication (copyright)

[ʌn'pʌbliʃt]

общая лексика

неопубликованный

неизданный

прилагательное

общая лексика

неопубликованный

неизданный

необнародованный

неопубликованный, неизданный

publication date         
  • Server rack, delivering data to inquiries.
  • Modern computing and networking have revolutionized publishing.
CONTENT MADE AVAILABLE TO THE GENERAL PUBLIC
Publications; Publicatios; Print publication; Unpublished; Unpublished work; Unpublished works; Publication date; Publication (copyright)
год /дата/ издания; дата поступления издания в продажу
publication         
  • Server rack, delivering data to inquiries.
  • Modern computing and networking have revolutionized publishing.
CONTENT MADE AVAILABLE TO THE GENERAL PUBLIC
Publications; Publicatios; Print publication; Unpublished; Unpublished work; Unpublished works; Publication date; Publication (copyright)
publication noun 1) опубликование, издание 2) оглашение; публикация 3) издание (книги и т. п.)
theorem-proving system         
SUBFIELD OF AUTOMATED REASONING DEALING WITH PROVING THEOREMS BY COMPUTER PROGRAMS
Automating theorem proving; Theorem proving; Automatic theorem proving; Automated theorem prover; First-order theorem provers; Automatic theorem prover; Automated deduction; Automated prover; Automatic proof system; Automated theorem provers; Theorem-proving system; Theorem-proving systems; Formalized theorem proving; Theorem-prover; List of automated theorem provers; Comparison of automated theorem provers; List of theorem provers; Computer generated proof; Proof automation; Applications of automated theorem proving; Automated proof; History of automated theorem proving; Benchmarks for automated theorem provers; Benchmarks for theorem provers; Automated mathematical proof; Automated mathematical induction

математика

система доказательства теоремы

theorem proving         
SUBFIELD OF AUTOMATED REASONING DEALING WITH PROVING THEOREMS BY COMPUTER PROGRAMS
Automating theorem proving; Theorem proving; Automatic theorem proving; Automated theorem prover; First-order theorem provers; Automatic theorem prover; Automated deduction; Automated prover; Automatic proof system; Automated theorem provers; Theorem-proving system; Theorem-proving systems; Formalized theorem proving; Theorem-prover; List of automated theorem provers; Comparison of automated theorem provers; List of theorem provers; Computer generated proof; Proof automation; Applications of automated theorem proving; Automated proof; History of automated theorem proving; Benchmarks for automated theorem provers; Benchmarks for theorem provers; Automated mathematical proof; Automated mathematical induction

математика

доказательство теоремы

Определение

publication
n.
act of publishing
1) to begin, start publication
2) to suspend publication
printed work
3) a government; official publication

Википедия

Cataloging in Publication

In publishing and library science, Cataloging in Publication (CIP, or Cataloguing in Publication) data are basic cataloging data for a work, prepared before publication by the national library of the country where the work is principally published or by the library of a publishing organisation, such as a government department. The name reflects the usual practice of including that information in the corresponding publication—in the case of books, on the copyright page, where it can be useful for cataloguers when they are adding such items to their collections. The national libraries' CIP staffs restrict the range of publications that CIP will be prepared for, for instance requiring access to assistance from the publisher's staff.

A frequent problem with CIP occurs when publishers change bibliographic details, such as the wording of a title, after receiving the CIP data. The CIP data as published in the item will be incorrect and useless to subsequent cataloguing agencies without manual amendment; if a pre-publication record has been entered onto a database, it can be difficult to locate and edit to match the details on the item itself.

Each national library maintains a database of the entries it writes. (Not all nations have a national library or anything comparable.)

In the United States, the Cataloging in Publication Program (CIP) was established by the Library of Congress in 1971, and has since developed in various ways.

Как переводится automated publication на Русский язык