Davis-Putnam algorithm
(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
(of a vowel) not stressed or accentuated / not subject to stress
plural of Pokémaniac
plural of driving examiner
その大学院生は、複数の一階述語論理式を命題論理に還元した後、それらの妥当性を検証するためにデイヴィス＝プットナム法を用いた。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
