Computer science logic : 10th international workshop, CSL'96 : annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers


Workshop on Computer Science Logic
Bok Engelsk 1997

Detaljer

Bibliotek som har denne