Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 2...

Description complète

Détails bibliographiques

Collectivités auteurs:	Workshop on computer science logic :Aarhus, Danemark, European Association for Computer Science Logic. Conference (Auteur)
Autres auteurs:	Nielsen, Mogens Peter, 1935- (Directeur de la publication), Thomas, Wolfgang, 1947-...., informaticien (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1414
Sujets:	Informatique Intelligence artificielle Logique symbolique et mathématique Logique informatique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer science logic, 11th international workshop, CSL '97, [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, procedings, Mogens Nielsen, Wolfgang Thomas (eds.), 1998, New York, Springer, 1 vol. (VIII-509 p.), Lecture notes in computer science, 3-540-64570-5 • Computer Science Logic, Texte imprimé, 9783662205716