Hardcover. Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. This Handbook has been created in response to the growing need for an in-depth survey of the applications of logic in AI and computer science.The Handbook of Logic in ArtificialIntelligence and Logic Programming will be published in five volumes. Each volume provides a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes inthe various areas. this first volume presents the logical foundations and deduction methodologies extensively used in AI. An in-depth survey of the applications of logic in artificial intelligence and computer science. This first volume presents the logical foundations and deduction methodologies extensively used in AI. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

N� de ref. del art�culo 9780198537458

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations (Hardcover)
Editor: Oxford University Press, Oxford
Fecha de publicaci�n: 1993
Idioma: Ingl�s
ISBN 10: 019853745X
ISBN 13: 9780198537458
Encuadernaci�n: Hardcover
Estado: new

Acerca de

Sinopsis

Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. This Handbook has been created in response to the growing need for an in-depth survey of the applications of logic in AI and computer science.

The Handbook of Logic in Artificial Intelligence and Logic Programming will be published in five volumes. Each volume provides a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. this first volume presents the logical foundations and deduction methodologies extensively used in AI.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Online business

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

ABC BOOKS LIMITED
10 John Street, London, WC1N 2EB, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Orders can be returned within 30 days of receipt.

Condiciones de env�o

Please note that titles are dispatched from our US, Canadian or Australian warehouses. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 7-14 days.