Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

The 1999 Annual Conference of the European Association for Computer Science Logic, CSL 99, was held in Madrid, Spain, on September 20-25, 1999. CSL 99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the...

Volledige beschrijving

Bibliografische gegevens

Coauteur:	Workshop on computer science logic :Madrid
Andere auteurs:	Rodriguez Artalejo, Mario, 1951- (Publishing director), Flum, Jörg, 1944- (Publishing director)
Formaat:	Livre numérique
Taal:	Anglais
Gepubliceerd in:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Reeks:	Lecture notes in computer science 1683
Onderwerpen:	Informatique Intelligence artificielle Logique symbolique et mathématique Logique informatique Actes de congrès
Online toegang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Opmerking:	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, Texte imprimé, 9783540665366 • Computer Science Logic, Texte imprimé, 9783662202876