Normal view MARC view
  • Spies, Katharina

Spies, Katharina(Personal Name)

Number of records used in: 1
Preferred form: Spies, Katharina

Machine generated authority record

Work cat.: (KE-NaSUL)138537: NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) 185640, Proof technology and computation, c2006.

© Strathmore University Library
Madaraka Estate, Ole Sangale Road | P. O. Box 59857 - 00200 City Square, Nairobi, Kenya
(+254) (0)703 034 000/200/300 | (+254) (0)20-607498