Zaionc, Marek 1953-
Marek Zaionc mathématicien polonais
VIAF ID: 165771282 (Personal)
Permalink: http://viaf.org/viaf/165771282
Preferred Forms
- 100 0 _ ‡a Marek Zaionc ‡c mathématicien polonais
-
-
-
- 100 1 _ ‡a Zaionc, Marek ‡d 1953-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Automated theorem proving in model logic | |
Badanie zanurzalności algebr częściowych za pomocą systemów przepisywania termów | |
O gęstości prawdy w matematyce | |
On the asymptotic density of tautologies in logic of implication and negation |