Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: proceedings / ed. J. Duparc, T. A. Henzinger, 2007 r=on-line
Приложение
для Android