Mathematical Logic for Computer Science: Third Edition
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.... Machine Learning and Robot Perception (Studies in Computational Intelligence) This book presents some of the most recent research results in the area of machine learning and robot perception. The book contains eight chapters.
Relevant progress has been done, within the Robotics field, in mechanical systems, actuators, control and planning. This fact, allows a wide application of industrial robots, where...
|Result Page: 407 406 405 404 403 402 401 400 399 398 |