Handbook of Automated Reasoning. 2.
Bok Engelsk 2001
Utgitt | Amsterdam : London : Elsevier , 2001
|
---|---|
Omfang | XXV, S. 963-2122
|
Emner | |
Dewey | |
ISBN | 0444508120. - 0444508139
|
Utgitt | Amsterdam : London : Elsevier , 2001
|
---|---|
Omfang | XXV, S. 963-2122
|
Emner | |
Dewey | |
ISBN | 0444508120. - 0444508139
|