WorldCat Identities

Clarke, E. M. 1945-

Overview
Works: 2 works in 11 publications in 1 language and 437 library holdings
Genres: Conference proceedings 
Classifications: TK7874, 005.115
Publication Timeline
Key
Publications about  E. M Clarke Publications about E. M Clarke
Publications by  E. M Clarke Publications by E. M Clarke
Most widely held works by E. M Clarke
Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers by Edmund Clarke ( )
6 editions published between 2010 and 2011 in English and held by 352 WorldCat member libraries worldwide
Annotation
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 by DIMACS Workshop on Computer-Aided Verification ( Book )
5 editions published in 1991 in English and held by 85 WorldCat member libraries worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.70 for Logic for ... to 0.88 for Computer-a ...)
Alternative Names
Clarke, Edmund M., 1945-
Languages
English (11)
Covers