https://www.imosver.com/es/libros/higher-order-logic-theorem-proving-and-its-applications-00106396830010639683HIGHER ORDER LOGIC THEOREM PROVING AND ITS APPLICATIONS49.39https://static.serlogal.com/imagenes_small/9783540/978354060275.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9783540/978354060275.jpg0010718413001073231251.9952.61995/08/239783540602750SCHUBERT, E. THOMASLibrosaño_1995idioma_InglésIautor_SCHUBERT, E. THOMASsaga_Lecture Notes in Computer Science
Este tipo de cookies permiten al usuario la navegación a través de una página web, plataforma o aplicación y la utilización de las diferentes opciones o servicios que en ella existan.
imosverlaravel_session
Descripción
Esta cookie es necesaria para que el sitio web funcione y no se pueden desactivar en nuestros sistemas
Duración
Sesión
Dependencias
Dominio
imosver.com
OCT8NE
Descripción
Esta cookie se utiliza para el correcto funcionamiento del Chat de Oct8ne para prestar el servicio de atención al cliente al usuario
Son aquéllas que posibilitan el seguimiento y análisis del comportamiento de los usuarios en nuestra página. La información recogida se utiliza para la medición de la actividad de los usuarios en la web y la elaboración de perfiles de navegación de los usuarios.
_clsk
Descripción
Registra datos estadísticos del comportamiento del visitante en la web. Esto se utiliza para análisis internos por el operador de la web
Duración
1 año
Dependencias
_clsk,MUID,_clck
Dominio
logglytrackingsession
Descripción
Identifica y registra la sesión del usuario con fines analíticos.
Duración
Sesión
Dependencias
Dominio
.imosver.com
GOOGLE_ANALYTICS
Descripción
Registra una identificación única que se utiliza para generar datos estadísticos acerca de cómo utiliza el visitante el sitio web.
Duración
1 año
Dependencias
Dominio
.imosver.com
Son aquellas que nos permiten adaptar la navegación en nuestra página web a sus preferencias (Ej. Idioma, navegador utilizado, …etc)
_fbp
Descripción
Utilizado por Facebook para ofrecer una serie de productos publicitarios, como ofertas en tiempo real de terceros anunciantes.
