LOGIC FOR COMPUTER SCIENTISTS (PB 2008). Este artículo no está disponible.
Idioma: inglés
Editorial: SPRINGER, 2008
- Tapa blanda
- Nuevo
Librería: UK BOOKS STORE, London, London, Reino UnidoUK BOOKS STORE
Vendedor de IberLibro desde 11 de marzo de 2024
Condición: Nuevo
EUR 125,46
Descripción del artículo del vendedor
Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
N° de ref. del artículo Cvs 9780817647629
- Título
- LOGIC FOR COMPUTER SCIENTISTS (PB 2008)
- Autor
- SCHONING U.
- Editorial
- SPRINGER
- Año de publicación
- 2008
- Estado
- New
- Encuadernación
- Encuadernación de tapa blanda
- Idioma
- inglés
- ISBN 10
- 0817647627
- ISBN 13
- 9780817647629
- Edición
- Edición Internacional
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
“Sinopsis” puede pertenecer a otra edición de este título.
Acerca del autor
“Acerca de” puede pertenecer a otra edición de este título.