Holdings: Computer science logic :

Saved in:

Bibliographic Details
Corporate Authors:	International Workshop on Computer Science Logic :Karpacz, PL, European Association for Computer Science Logic. Conference (Author)
Other Authors:	Marcinkowski, Jerzy, 1965- (Publishing director), Tarlecki, Andrzej, 1956- (Publishing director)
Format:	Livre numérique
Language:	Anglais
Published:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 3210
Subjects:	Informatique Intelligence artificielle Logique symbolique et mathématique Logique informatique Actes de congrès
Online Access:	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, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, proceedings, Jerzy Marcinkowski, Andrzej Tarlecki (eds.), 2004, Berlin, Springer, 1 vol. (XI-520 p.), Lecture notes in computer science, 3-540-23024-6 • Computer Science Logic, Texte imprimé, 9783662164976