Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Gorde:
Xehetasun bibliografikoak
Egile korporatiboa: International workshop on computer science logic :Fischbachau, European Association for Computer Science Logic. Conference (Egilea)
Beste egile batzuk: Clote, Peter G., 1951-...., mathématicien (Argitalpenaren zuzendaria), Schwichtenberg, Helmut, mathématicien (Argitalpenaren zuzendaria)
Formatua: Livre numérique
Hizkuntza:Anglais
Argitaratua: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Saila:Lecture notes in computer science 1862
Gaiak:
Sarrera elektronikoa:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Oharra: 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, 14th International Workshop, CSL 2000, 9th Annual Conference of the EACSL, Fischbachau, Germany, August 2000, proceedings, Peter Clote, Helmut Schwichtenberg (eds.), New York, Springer, 2000, 1 vol. (XIII-541 p.), Lecture notes in computer science, 3-540-67895-6
• Computer Science Logic, Texte imprimé, 9783662178294

Internet

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL