A fascinating country in the world of computing : your guide to automated reasoning / Larry Wos, Gail W. Pieper.
Rodzaj materiału:
TekstSzczegóły wydania: Singapore ; New Jersey ; London ; Hong Kong : World Scientific, copyright © 1999.Opis: XX, 587 stron ; 22 cm + dysk optyczny (CD-ROM)ISBN: - 9810239106
| Typ dokumentu | Obecna biblioteka | Kolekcja | Sygnatura | Materiały określone | Status | Kod kreskowy | |
|---|---|---|---|---|---|---|---|
| Niewypożyczane | Biblioteka Politechniki Poznańskiej w czytelni | Czytelnia | A 193069 | + 1CD | Dostępny | 0000187277 |
Liczba zamówień: 0
Bibliografia na stronach 561-569. Indeks.