Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially c...

Descrizione completa

Dettagli Bibliografici

Ente Autore:	Workshop on computer science logic :Swansea, Grande-Bretagne
Altri autori:	Börger, Egon, 1946- (Direttore editoriale), Gurevich, Yuri, 1940- (Direttore editoriale), Meinke, Karl, 1961- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 832
Soggetti:	Informatique Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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, 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, selected papers, Egon Börger, Yuri Gurevich, Karl Meinke, eds, 1994, Berlin, Springer-Verlag, 1 vol. (viii-336 p.), Lecture notes in computer science, 3-540-58277-0 • Computer Science Logic, Texte imprimé, 9783662166383