A confrontation of the method of quasistationary concentrations with the results derived by means of the Viéte theorem
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Slovak English |
| Subjects: |
Similar Items
Exploiting Small Clauses in Automatic Theorem Proving
by: Lee, Shie-Jue
by: Lee, Shie-Jue
Výzkum mravního vědomí metodou nedokončených vět
by: Čermák, Ivo, 1956-, et al.
by: Čermák, Ivo, 1956-, et al.
Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover
by: Lee, Shie-Jue, et al.
by: Lee, Shie-Jue, et al.
Porozumenie viet a afázia
by: Marková, Jana, 1966-
by: Marková, Jana, 1966-