LOGIC AND LOGIC PROGRAMMING

doi:10.1145/131295.131296

1992-03-01

John A. Robinson

DOI：10.1145/131295.131296

原文链接

查看原文

摘要

Keyword:

UNIFICATION

AI总结

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

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

暂无机构信息

引用论文

Early ultrasound to detect complications after renal biopsy

Nephrology Dialysis Transplantation

IF0

2009-10-23

OAAI

B. Mackinnon; J. McKinlay; E. McQuarrie; C. Geddes

The Association of Genetic Variations in the Promoter Region ofMyostatinGene with Growth Traits in Duroc Pigs

Animal Biotechnology

IF0

2012-10-01

PREAI

Po-An Tu; Jen-Wen Shiau; Shih-Torng Ding; En-Chung Lin; Ming-Che Wu; Pei-Hwa Wang

Suzaku Discovery of Hard X-Ray Pulsations from a Rotating Magnetized White Dwarf, AEAquarii

Publications of the Astronomical Society of Japan

IF0

2008-04-25

OAAI

Yukikatsu Terada; Takayuki Hayashi; Manabu Ishida; Koji Mukai; Tadayasu Dotani; Shunsaku Okada; Ryoko Nakamura; Sachindra Naik; Aya Bamba; Kazuo Makishima

Effects of environmental factors on pollen production in anemophilous woody species

Trees

IF0

2010-10-16

PREAI

Athanasios Damialis; Christina Fotiou; John M. Halley; Despoina Vokou

Surface passivation of (001) GaAs with self-assembled monolayers of long-chain thiols

SPIE Proceedings

IF0

2005-04-12

PREAI

Ximing Ding; Jan J. Dubowski

Fine-structure constant variability, equivalence principle, and cosmology

Physical Review D

IF0

2002-12-31

OAAI

Jacob D. Bekenstein

High-performance liquid chromatographic determination of granisetron in human plasma

Journal of Chromatography B: Biomedical Sciences and Applications

IF0

1996-01-01

PREAI

Frédéric Pinguet; Françoise Bressolle; Pascal Martel; David Salabert; Cécile Astre

The paradigm of complex probability and analytic linear prognostic for unburied petrochemical pipelines

Systems Science & Control Engineering

IF0

2017-04-10

OAAI

Abdo Abou Jaoude

Erratum: Proton Transport through Water-Filled Carbon Nanotubes [Phys. Rev. Lett.90, 105902 (2003)]

Physical Review Letters

IF0

2003-09-25

OAAI

Christoph Dellago; Mor M. Naor; Gerhard Hummer

THE EARLY YEARS OF LOGIC PROGRAMMING

COMMUNICATIONS OF THE ACM

IF12.2

1988-01-01

OAAI

KOWALSKI, RA

查看更多内容