Loading...
Automated reasoning: Essays in Honor of Woody Bledsoe
Other Authors: | |
---|---|
Format: | Printed Book |
Published: |
Kluwer Academic Publishers, Dordrecht
1991
|
Subjects: |
LEADER | 00516nam a2200169 4500 | ||
---|---|---|---|
082 | |a 004 BOY-A | ||
100 | |a Boyer, Robert S, |e Editor | ||
245 | |a Automated reasoning: Essays in Honor of Woody Bledsoe |c Robert S Boyer | ||
250 | |||
260 | |a Kluwer Academic Publishers, Dordrecht |c 1991 | ||
300 | |||
490 | |||
650 | |a Computer science | ||
700 | |e Editor | ||
942 | |c BK | ||
999 | |c 202792 |d 202792 | ||
952 | |0 0 |1 0 |4 0 |6 004_000000000000000_BOYA |7 0 |9 216141 |a MAT |b MAT |l 0 |o 004 BOY-A |p MAT4118 |r 2019-11-01 |w 2019-11-01 |y BK |