Record:   Prev Next
作者 European Association for Computer Science Logic. Conference (13th : 2004 : Karpacz, Poland)
書名 Computer science logic [electronic resource] : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
出版項 Berlin ; New York : Springer, c2004
國際標準書號 9783540230243 (paper)
book jacket
說明 xi, 520 p. : ill., digital ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 3210
附註 Springer
Host Item Springer e-books
主題 Computer logic -- Congresses
Alt Author Marcinkowski, Jerzy, 1965-
Tarlecki, Andrzej
SpringerLink (Online service)
Record:   Prev Next