00505nam a2200145Ia 450000500170000000800410001702000180005808200150007610000220009124500780011326000360019165000210022795200960024899900150034420240911060823.0190714s9999    xx            000 0 und d  a9781848213012  a006.3bCAF  aCaferra, Ricardo. 0aLogic for computer science and artificial intelligence /cRicardo caferro  aU.S :bJohn Wiley & son, c2011  acomputer science  00104070aLCbLCd2019-09-16l0o006.3 CAFpLC-74684r2025-02-14 00:00:00w2019-09-16yBK  c5407d5407