14th symposium on logic in computer science : proceedings : July 2-5, 1999, Trento, Italy / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Date : 1999

Editeur / Publisher : Los Alamitos (Calif.) : IEEE Computer Society , cop. 1999

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-7803-5770-1

ISBN : 0-7695-0160-5

ISBN : 0-7695-0158-3

Catalogue Worldcat

EAN : 9780769501581

Informatique -- Mathématiques

Logique mathématique

Classification Dewey : 005.131

Symposium on logic in computer science (14 ; 1999 ; Trento, Italy) (Auteur / author)

IEEE computer society. Technical committee on mathematical foundations of computing (Editeur scientifique / editor)