Clote, P.G. (Eds)

Computer Science Logic :lecture notes in computer science : Proceedings - Springer: Tokyo 2000 - 540 p.

0003540678956


computer science : computer science logic

004 / C55