Popular repositories Loading

1. fib45 fib45 Public

   Porównanie szybkości programów w wybranych językach programowania.

   Assembly 3

2. pi-spigot pi-spigot Public

   Computing digits of Pi

   C 2

3. c-clang-wip c-clang-wip Public

   Przykłady programów w języku C

   C 1

4. prolog-pl prolog-pl Public

   Przykłady programów prezentowanych podczas wykładu Programowanie w logice.

   Prolog 1

5. prolog-standard-herbrand prolog-standard-herbrand Public

   Generating elements of Herbrand's universe and base.

   Prolog

6. prolog-xpce-tabsem prolog-xpce-tabsem Public

   Method of analytic tableaux for the first order logic.

   Prolog