00000nam a2200000 a 4500 20251219155939.0 9780521123365 511.322 KOW Kowalski, Robert _ Computational logic and human thinking how to be artificially intelligent Delhi Cambridge University Press 2011 xxii, 310p. 22cm. PB includes index _ Computational intelligence Logic, Symbolic and mathematical -- Famous problems _ _ _ 230736 314502 314502 0 0 0 0 PU PU 2025-02-19 3659.04 0 511.322 KOW 230736 BK