00370nam a2200121Ia 450000500170000000800410001702000180005808200150007610000220009124500780011326000360019165000210022720240911060823.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