Handbook of logic in computer science. Vol. 5. Logic and algebraic methods
volume co-ordinator: Dov M. Gabbay
Bok Engelsk 2000 · Håndbøker
Utgitt | Oxford : Clarendon Press , 2000
|
---|---|
Omfang | XVIII, 537 s.
|
Emner | |
Sjanger | |
ISBN | 0198537816
|
Utgitt | Oxford : Clarendon Press , 2000
|
---|---|
Omfang | XVIII, 537 s.
|
Emner | |
Sjanger | |
ISBN | 0198537816
|