מלאי ספרים: Computer science logic :

שמור ב:

מידע ביבליוגרפי
Collectivités auteurs:	Workshop on computer science logic :Brno, République tchèque, European Association for Computer Science Logic. Conference (Auteur)
מחברים אחרים:	Gottlob, Georg, 1956- (Directeur de la publication), Grandjean, Étienne (Directeur de la publication), Seyr, Katrin (Directeur de la publication)
פורמט:	Livre numérique
שפה:	Anglais
יצא לאור:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
סדרה:	Lecture notes in computer science 1584
נושאים:	Informatique Intelligence artificielle Logique symbolique et mathématique Logique informatique Actes de congrès
גישה מקוונת:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
הערה:	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, 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August, 1998, proceedings, Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.), 1999, Berlin, Springer, 1 vol. (X-429 p.), Lecture notes in computer science, 3-540-65922-6 • Computer Science Logic, Texte imprimé, 9783662186176