PREDICATIVE PROGRAMMING .1.

Eric C. R. Hehner

doi:10.1145/69610.357988

1984-02-01

Eric C. R. Hehner *

DOI：10.1145/69610.357988

原文链接

查看原文

摘要

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

暂无机构信息

引用论文

A Wireless Magnetoelastic Sensor for Urinary 2-Naphthol Detection Based on the Precipitation of 2-Naphthol with Diazonium Salts

Analytical Sciences

IF0

2011-05-10

PREAI

Yu-Kun Yuan; Yong-Sheng Wang; Xi-Lin Xiao; Jin-Hua Xue; Gui-Rong Li; Rong-Hui Kang; Jin-Quan Zhang; Lin-Fei Shi

Influence of Flow and Temperature on Survival of Wild Subyearling Fall Chinook Salmon in the Snake River 流量和温度对蛇河野生一岁秋季奇努克鲑鱼生存的影响

North American Journal of Fisheries Management

IF0

2003-05-01

PREAI

William P. Connor; Howard L. Burge; John R. Yearsley; Theodore C. Bjornn

A GENERALIZED CONTROL STRUCTURE AND ITS FORMAL DEFINITION

COMMUNICATIONS OF THE ACM

IF12.2

1983-08-01

OAAI

PARNAS, DL

Sputtered electrochromic V2O5 films

Thin Solid Films

IF0

1989-12-01

PREAI

D. Wruck; S. Ramamurthi; M. Rubin

AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING

COMMUNICATIONS OF THE ACM

IF12.2

1969-10-01

2.7K

OAAI

HOARE, CAR

GUARDED COMMANDS, NONDETERMINACY AND FORMAL DERIVATION OF PROGRAMS

COMMUNICATIONS OF THE ACM

IF12.2

1975-08-01

974

OAAI

DIJKSTRA, EW

Effect of intermittent administration of neurokinin 3 receptor agonist on luteinizing hormone secretion, estrus, and ovulation in feed-restricted goats

Small Ruminant Research

IF0

2015-06-01

PREAI

Natsumi Endo; Tomomi Tanaka

CAN PROGRAMMING BE LIBERATED FROM VON NEUMANN STYLE - FUNCTIONAL STYLE AND ITS ALGEBRA OF PROGRAMS 编程能否从冯·诺依曼风格中解放出来 -- 函数风格及其程序的代数

COMMUNICATIONS OF THE ACM

IF12.2

1978-08-01

1.3K

OAAI

BACKUS, J

A Green Synthesis of 2‐Amino‐4‐(9H‐carbazole‐3‐yl)thiophene‐3‐carbonitriles by a Step‐wise and One‐pot Three‐component Gewald Reaction

Journal of Heterocyclic Chemistry

IF0

2017-03-15

PREAI

Vijay Kumar Reddy Avula; Swetha Vallela; Jaya Shree Anireddy; Naga Raju Chamarthi

Structural, band gap and photoluminescence behaviour of Mn-doped ZnS quantum dots annealed under Ar atmosphere

Journal of Materials Science: Materials in Electronics

IF0

2014-12-06

PREAI

P. Sakthivel; S. Muthukumaran; M. Ashokkumar

没有更多内容