00881nam a22002535a 4500 20180304134306.0 180304t2002 gw a frb 001 0 eng d 9783540439608 EG-ScBUE eng EG-ScBUE EG-ScBUE 22 005.115 COM Computational logic : logic programming and beyond / editors Antonis C. Kakas, Fariba Sadri. Berlin : Springer, c.2002. xii, 628 p. : ill. ; 24 cm. Lecture notes in computer science, 2408. Includes bibliographical references and index. v. 2. essays in honour of Robert A. Kowalski . BUEsh Logic programming. Automatic theorem proving. BUEsh COMSCI March2018 Kakas, Antonis C., editor. Sadri, Fariba, editor. ddc 26219 26191 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2018-03-04 Purchase 1023.00 21201 0 005.115 COM 000047326 2025-07-15 00:00:00 1279.00 BB 0 0 ddc 0 0 unknown MAIN MAIN LOW 2020-10-26 Purchase 0 005.115 COM 000050047 2025-07-15 00:00:00 NB