Search results
- A fascinating country in the world computing : your guide to automated reasoning / Larry Wos, Gail W. Pieper. Singapore ; New Jersey ; London : World Scientific, 1999c . xx, 587 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0