trier par
Copyright © 2020 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Ninth annual IEEE symposium on logic in computer science | 1 résultat(s)

Prêt Entre Bibliothèques Prêt
Photocopie

Services  
1

Livres

Identifiant pérenne de la notice : 
 
 
 
Type(s) de contenu (modes de consultation) :
Texte
Titre : 
[Ninth annual IEEE] Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 : proceedings / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA
Alphabet du titre : 
latin
Auteur(s) : 
Date(s) : 
cop. 1994
Langue(s) : 
anglais
Pays : 
Etats-Unis d'Amérique
Editeur(s) :
Description : 
1 vol. (xii-517 p.) : ill., couv. ill. ; 28 cm
ISBN : 
0-8186-6312-X (case). - 0-8186-6310-3
 
Notes : 
"IEEE catalog number 94CH3464-5"--T.p. verso. - "IEEE Computer Society Press order number 6310-02"--T.p. verso. - Titre de couv. : "Ninth Annual IEEE Symposium on Logic in Computer Science"
Annexes : 
Références bibliogr. en fin de chapitre. Index
 
Autre(s) titre(s) : 
Logic in computer science
LICS '94
1994 IEEE 9th Annual Symposium on Logic in Computer Science
 
Sujets : 
QA75.5
Forme ou Genre : 
 
 
Origine de la notice : 
OCLC
 
Lien(s) externe(s)
Worldcat :