Computer Science Logic
de Georg Gottlob, Etienne Grandjean, Katrin Seyr
Ediciones (1)
- Computer Science Logic (2006)
Springer London, Limited · inglés · ISBN 9783540488552
de Georg Gottlob, Etienne Grandjean, Katrin Seyr
Springer London, Limited · inglés · ISBN 9783540488552