- LNCS193
- -Logics of Programs. Proceedings,1985.Edited by R. Parikh. VI, 424 pages, Springer-Verlag 1985
Acronyms. 2013.
Acronyms. 2013.
LNCS193 — Logics of Programs. Proceedings,1985.Edited by R. Parikh. VI, 424 pages, Springer Verlag 1985 … Acronyms von A bis Z