Automated theorem-proving for the theories of partial and total ordering

James R. Slagle

DOI: 10.1093/comjnl/18.1.49

The Computer Journal

Data up to Jan 2025

Published1975

Citations8

References0

Fields

Mathematics Computer science Philosophy Medicine Mathematical economics Discrete mathematics Algorithm

Total Citations Per Year

Abstract

References (0)

No references found

Cited By (0)

Loading...