Logic for problem solving /

• 作者：Robert Kowalski
• 出版者：Ya-Tung ; Elsevier North Holland
• 出版地：Taipei : New York :
• 語文：英語
• 叢書名：Artificial intelligence series ; ; The Computer science library
• 主題：Problem solving ; Applications of mathematical logic ; Digital computer systems ; Programming ; Applications of mathematical logic
• ISBN/ISSN/ISRC：0444003657 ; 0444003681
• 作者：Kowalski, Robert
• 索書號：519.7