Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 / Jerzy Marcinkowski, Andrzej Tarlecki

Auteur principal collectivité : CSL, 2004, 18, 2004, AuteurAuteur secondaire : Tarlecki, Andrzej, 1956-, Editeur scientifique • Marcinkowski, Jerzy, 1965-, Editeur scientifiqueType 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 science
03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B70, General logic, Logic in computer science
En-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.