Consistency checking in hypothesis generation - Concepedia

Concepedia

Publication | Closed Access

Consistency checking in hypothesis generation

37

Citations

9

References

1983

Year

Stanley D. Fisher, Charles F. Gettys, Carol A. Manning, Tom Mehle, Suzanne Baca

Organizational Behavior and Human Performance

Data ConsistencyEngineeringAutomated ReasoningVerificationFormal MethodsAutomated ProofHypothesis GenerationComputer ScienceModel VerificationFormal VerificationStatistics

References

	Year	Citations

Page 1