logic language higher order

Programming with Higher-Order Logic

$80,52

1% OFF

$80,03

Envío gratis

Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)

Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving ... Belgium, 21-24 September 1992 (ISSN)

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152)

Topos and higher order logic - logic by category theory (2007) ISBN: 4130120573 [Japanese Import]

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)

Resultados de búsquedas en

logic language higher order

Programming with Higher-Order Logic

Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)

Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving ... Belgium, 21-24 September 1992 (ISSN)

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152)

Topos and higher order logic - logic by category theory (2007) ISBN: 4130120573 [Japanese Import]

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)

Información útil

Centro de ayuda

Todo en un solo lugar

Comprá con tranquilidad

Resultados de búsquedas en

logic language higher order

Programming with Higher-Order Logic

Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)

Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving ... Belgium, 21-24 September 1992 (ISSN)

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152)

Topos and higher order logic - logic by category theory (2007) ISBN: 4130120573 [Japanese Import]

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)

¿Cómo comprar?

Hacemos todo por ti

Tarjetas de Débito, Crédito y Deuna

Pagos a través de Deuna

Pagos a través de PayPal

Garantía de entrega

Compra como si vivieras fuera, pero desde cualquier lugar de Ecuador