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.93 (from 0.93 for Model gene ... to 0.93 for Model gene ...)

Languages
German (1)