Theorem Proving In Higher Order Logics : Otmane Ait Mohamed

(No reviews yet) Write a Review
Colombian Peso
$401,140.72
SKU:
9783540710653
Autor:
Sofiene Tahar
Editorial:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Cover book

Product Overview

Importante: este producto es importado y puede tener una demora de 30 días. 

Titulo: Theorem Proving In Higher Order Logics : Otmane Ait Mohamed

Formato: Blanda

Autor: Sofiene Tahar

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Lenguaje: English

ISBN: 9783540710653

Reviews

(No reviews yet) Write a Review