Handbook of logic in artificial intelligence and logic programming

Manylion Llyfryddiaeth
Prif Awdur:	Gabbay, Dov M.
Fformat:	Llyfr
Iaith:	Saesneg
Cyhoeddwyd:	Oxford Clarendon Press 1994
Pynciau:	Artificial intelligence. Logic programming. Logic, Symbolic and mathematical.