Publication | Closed Access
N-Prolog: An extension of Prolog with hypothetical implications. I.
170
Citations
2
References
1984
Year
EngineeringAutomated ReasoningPhilosophy Of LogicFormal MethodsHypothetical ImplicationsLanguage StudiesSemanticsLinguisticsLogic ProgrammingLogical Formalism
| Year | Citations | |
|---|---|---|
Page 1
Page 1