The European Innovation Council (EIC) together with the Las Rozas de Madrid municipality is organising an EIC ePitching to Procurers session on 28 November 2022, at 12:00 PM (CET). This online session will be dedicated to matching EIC beneficiaries with procurers' needs in the field of Artificial Intelligence, and specifically, its use to address urban air quality challenges by enabling the implementation of a dynamic low-emission zone to improve air; Interested in this EIC ePitching opportunity? Make sure to register your interest before the deadline on 30 October 2022! And TAKE YOUR CHANCE to meet your future client! For the EIC ePitching to Las Rozas de Madrid, 6 companies will be; What's in store for throughout the day of the ePitching?

OXFORD 1994 Oxford University Press, Walton Street, Oxford 0X2 6DP Oxford New York Athens Auckland Bangkok Bombay Calcutta Cape Town Dar es Salaam Delhi Florence Hong Kong Istanbul Karachi Kuala Lumpur Madras Madrid Melbourne Mexico City Nairobi Paris Singapore Taipei Tokyo Toronto and associated companies in Berlin lbadan Published in the United States by Oxford University Press Inc., New York 0 E. K. Furukawa, D. Michie, and S. Muggleton, 1994 All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, without the prior permission in writing of Oxford University Press. Enquiries concerning reproduction outside those terms and in other countries should be sent to the Rights Department, Oxford University Press, at the address above. This book is sold subject to the condition that it shall not, by way of trade or otherwise, be lent, re-sold, hired out, or otherwise circulated without the publisher's prior consent in any form of binding or cover other than that in which it is published and without a similar condition including this condition being imposed on the subsequent purchaser. The founder of modern computational logic, J.A. Robinson, opens this volume with a chapter on the field's great forefathers John von Neumann and Alan Turing.