Amanote Research

Amanote Research

    RegisterSign In

A New Definition of SLDNF-resolution

The Journal of Logic Programming
doi 10.1016/0743-1066(94)90051-5
Full Text
Open PDF
Abstract

Available in full text

Date

February 1, 1994

Authors
Krzysztof R. AptKees Doets
Publisher

Elsevier BV


Related search

A Recommended Specific Definition of “Resolution”

Bulletin of the American Meteorological Society
Atmospheric Science
1991English

Toward a New Definition of Mental Health

World Psychiatry
PsychiatryMental HealthPsychiatric Mental Health
2015English

A Suggestion Toward a New Definition of Treason

Journal of Criminal Law and Criminology (1931-1951)
1939English

SLDNF, Constructive Negation and Grounding

1995English

Considerations for a New Definition of Health Literacy

NAM Perspectives
2016English

Time for a New Definition of Parkinson’s Disease

Journal of Neural Transmission
PsychiatryMental HealthNeurologyBiological Psychiatry
2019English

New Definition and Concept of TIA

Clinical Neurology
Neurology
2010English

Salesperson's Customer Orientation: A Reconceptualization and a New Definition

SSRN Electronic Journal
2008English

The New Definition of Myocardial Infarction

Archives of Internal Medicine
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy