Nepreferovaná znění
- automatizace logických operací
Nadřazené heslo
-
Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings (2001)
-
Metamathematics, machines, and Gödel's proof (1997)
/ Shankar, N.
-
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada (1993)
