WorldCat Identities

Hasegawa, Ryuzo

Overview
Works: 1 works in 1 publications in 1 language and 5 library holdings
Publication Timeline
.
Most widely held works by Ryuzo Hasegawa
Model generation theorem proving with interval constraints by Reiner Hähnle( Book )
1 edition published in 1995 in German and held by 5 WorldCat member libraries worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.47 (from 0.47 for Model gene ... to 0.47 for Model gene ...)
Languages
German (1)