Automated reasoning: Essays in Honor of Woody Bledsoe

Opis bibliograficzny
Kolejni autorzy: Boyer, Robert S (Redaktor)
Format: Printed Book
Wydane: Kluwer Academic Publishers, Dordrecht 1991
Hasła przedmiotowe:
Computer science

Podobne zapisy