Computer science logic: 10th international workshop, csl '96, annual conference of the eacsl, utrecht, the netherlands, september 21 - 27, 1996, selected papers
Auteur :
Bezem, Marc
ISBN :
9783540631729
Date de publication :
18 juin 1997
Dimensions :
23,4 x 15,6 x 2,4 cm
Poids :
1500 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Representing the post-workshop proceedings of the 10th International Workshop on Computer Science Logic held in 1996, this volume comprises 26 revised full papers. It addresses issues in the area of computer science logic research.