Algoritmusok a tételbizonyításban
Betöltés ...
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
DOI
Absztrakt
Automatikus tételbizonyítás az ítéletlogikában. A Davis-Putnam algoritmus. Rezolúciós kalkulus. Konjunkciós normálformává alakítás. KNF minimalizálása Quine-McCluskey-algoritmussal.
Leírás
Kulcsszavak
Forrás
Hivatkozás
Gyűjtemények
Jóváhagyás
Áttekintés
Kiegészítve
Hivatkozik rá
Jogok és engedélyezések
no_restriction