00486nam a2200145Ia 450000500170000000800410001702000170005804100080007508200150008310000200009824500470011826000390016530000100020465001260021420191122125104.0190710s9999    xx            000 0 und d  a981-4033-464  aeng  a006.3 N599  aNilsson, Nils J 0aArtificial intelligenceb: a new synthesis  aSingaporeb: Harcourt Asia, c2000  a513p.  aArtificial intelligence a| Reactive machines a| Robotics a| Neural network a| Search - Method a| Predicate calculus