This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Rese�a del editor:

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

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

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Condiciones de venta:

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Condiciones de env�o:

Orders usually dispatched within two working days.

M�todos de pago
aceptados por la librer�a

A�adir una petici�n

Art�culos relacionados a Handbook of Automated Reasoning : Volume II (Handbook...

Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)

Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)

Nuevos - Encuadernaci�n de tapa dura

Informaci�n empresarial del vendedor