Logical foundations of computer science- Tver' 92 Second international symposium Tver, Russia, 20-24 July, 1992
Logical foundations of computer science- Tver' 92 Second international symposium Tver, Russia, 20-24 July, 1992
- London: Springer-Verlag, 1992
- xix, 969p.
Computer
System
519.6(082.2) / N2
Computer
System
519.6(082.2) / N2