Handbook of logic in artificial intelligence and logic programming
Gabbay, Dov
Handbook of logic in artificial intelligence and logic programming - Oxford Clarendon Press 1996
019853745X
Logic programming
artificial intelligence
logic
Handbook of logic in artificial intelligence and logic programming - Oxford Clarendon Press 1996
019853745X
Logic programming
artificial intelligence
logic