
Handbook of Logic and Proof Techniques for Computer Science
Materias
Ediciones (1)
- Handbook of Logic and Proof Techniques for Computer Science (2002)
Birkhäuser Boston · inglés · ISBN 9781461266198

Birkhäuser Boston · inglés · ISBN 9781461266198
1992