Ugrás a tartalomhoz

Davis-Putnam-algoritmus

A Wikiszótárból, a nyitott szótárból

Kiejtés

  • IPA: [ ˈdɒviʃputnɒmɒlɡoritmuʃ]

Főnév

Davis-Putnam-algoritmus

  1. (matematika)

Fordítások