Handbook of logic in artificial intelligence and logic programming. Vol. 2. Deduction methodologies
volume co-ordinator: J. Siekmann
Bok Engelsk 1994
Utgitt | Oxford : Clarendon Press , 1994
|
---|---|
Omfang | XV, 511 s.
|
Emner | |
ISBN | 0198537468
|
Utgitt | Oxford : Clarendon Press , 1994
|
---|---|
Omfang | XV, 511 s.
|
Emner | |
ISBN | 0198537468
|