Logic And Language Models For Computer Science

Dana Richards; Henry Hamburger

ISBN 10: 9813229209 ISBN 13: 9789813229204

Editorial: World Scientific Publishing Co Pte Ltd, 2017

Idioma: Ingl�s

Nuevos Condici�n: New Encuadernaci�n de tapa dura

Guardar para m�s tarde

Librer�a: Biblios, Frankfurt am main, HESSE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 10 de septiembre de 2024

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Precio: EUR 77,69 Convertir moneda

EUR 9,95 gastos de env�o desde Alemania a Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

pp. 340. N� de ref. del art�culo 18375414800

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Logic And Language Models For Computer ...

Editorial: World Scientific Publishing Co Pte Ltd

A�o de publicaci�n: 2017

Encuadernaci�n: Encuadernaci�n de tapa dura

Condici�n: New

Edici�n: 3� Edici�n

Acerca de

Sinopsis:

P�ginas:468G�neros:12:UMK:Gamesdevelopment&programming12:UYF:Computerarchitecture&logicdesign12:UYQL:Naturallanguage&machinetranslationSinopsis: ,ThistextpresentstheformalconceptsunderlyingComputerScience.ItstartswithawideintroductiontoLogicwithanemphasisonreasoningandproof,withchaptersonProgramVerificationandProlog.ThetreatmentofcomputabilitywithAutomataandFormalLanguagesstandsoutinseveralways

Rese�a del editor:

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.

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

Descripci�n de la librer�a

We carry a wide selection of books from South Asia, United States, UK.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Condiciones de venta:

Condiciones de env�o:

Informaci�n detallada sobre el vendedor

M�todos de pago
aceptados por la librer�a

A�adir una petici�n