Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 / Jerzy Marcinkowski, Andrzej Tarlecki
Type de document : Livre numériqueCollection : Lecture notes in computer science, 3210Langue : anglais.Éditeur : Berlin : Springer, 2004ISBN: 3540230246.ISSN: 0302-9743.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer science03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B70, General logic, Logic in computer scienceEn-ligne : Springerlink
No physical items for this record
There are no comments on this title.