Najczęściej wyszukiwane

Wyszukiwane frazyWyszukiwania% wszystkichOdwiedziny stron / Wyszukiwania
1dateIssued_keyword:20191350352,58%0,00
2has_content_in_original_bundle_keyword:true1350152,57%0,00
3subject_keyword:sequent calculus750529,23%0,00
4author_authority:(0be26de6-c13d-4da9-8d87-26344f753785)736528,68%0,00
5subject_keyword:automated deduction661625,76%0,00
6subject_keyword:automated rules generation631724,60%0,00
7subject_keyword:classical propositional logic600023,36%0,00
8author_authority:(78f1e80a-38e3-4e29-9bd0-ff6457942c9d)571022,24%0,00
9subject_keyword:functional completeness561221,85%0,00
10subject_keyword:invertible rules536920,91%0,00

Suma

Wyszukiwania% wszystkichOdwiedziny stron / Wyszukiwania
25680100,00%0,00