Automated practical reasoning : algebraic approaches
Jochen Pfalzgraf and Dongming Wang (eds.) ; with a foreword by Jim Cunningham
Bok Engelsk 1995
Utgitt | Wien : Springer , c1995
|
---|---|
Omfang | XI, 223 s. : ill.
|
Emner | |
ISBN | 0387826009. - 3211826009
|
Utgitt | Wien : Springer , c1995
|
---|---|
Omfang | XI, 223 s. : ill.
|
Emner | |
ISBN | 0387826009. - 3211826009
|