TY - BOOK AU - GOCHET, Paul (et-al) TI - From standard logic to logic programming : :introducing a logic based approach to artificial intelligence SN - 0000471918385 U1 - 005.115 PB - Chichester : John Wiley KW - Logic programming : artificial intelligence ER -