Computer science logic: 11th international workshop, csl '97 : annual conference of the eacsl, aarhus, denmark, august 23-29, 1997, selected papers
Auteur :
Nielsen, Mogens
ISBN :
9783540645702
Date de publication :
20 mai 1998
Dimensions :
23,4 x 15,6 x 2,7 cm
Poids :
1620 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text contains 26 revised papers from an international workshop on computer science logic. The papers address all aspects of computer science logics and its applications.