Comment book - Using Sophisticated Models in Resolution Theorem Proving

1 10.45 https://old.imosver.com/en/libro/en-construccio_0010313061 0010313061 En construcció En construcció https://static.serlogal.com/imagenes_small/9788418/978841890808.jpg 10.45 POETRY OutOfStock VIENA https://static.serlogal.com/imagenes_small/9788418/978841890808.jpg 11.00 10.05 5.00 0.55 L Contreras Coll, Núria Poesia Año de edición 2021 Idioma CAT L Contreras Coll, Núria Poesia Disponibilidad WITHOUT STOCK (delivery on 10 days)

1 7.13 https://old.imosver.com/en/libro/la-mona-de-pasqua_B469980016 B469980016 La mona de Pasqua La mona de Pasqua https://static.serlogal.com/imagenes_small/9788424/978842463714.jpg 7.13 InStock LA GALERA https://static.serlogal.com/imagenes_small/9788424/978842463714.jpg 7.51 6.85 5.00 0.38 L Canyelles, Anna SIN COLECCION Año de edición 2011 Idioma CAT L Canyelles, Anna SIN COLECCION Disponibilidad Available (delay 1-3 days)

1 14.25 https://old.imosver.com/en/libro/salvando-obstaculos-como-superar-los-tropiezos-de-la-vida-con-de_EMA0012868 EMA0012868 Salvando obstáculos: Cómo superar los tropiezos de la vida con de Salvando obstáculos: Cómo superar los tropiezos de la vida con de https://static.serlogal.com/imagenes_small/9788413/978841368121.jpg 14.25 SPORTS InStock PALABRA https://static.serlogal.com/imagenes_small/9788413/978841368121.jpg 15.00 13.70 5.00 0.75 L Jones, Lolo Astor Año de edición 2021 Idioma C L Jones, Lolo Astor Disponibilidad Available (delay 1-3 days)

3 68.13 https://old.imosver.com/en/libro/fugitivos-la-historia-de-los-mercenarios-nazis-durante-la-guerra_CIM0069576 CIM0069576 Fugitivos: La historia de los mercenarios nazis durante la Guerra Fugitivos: La historia de los mercenarios nazis durante la Guerra https://static.serlogal.com/imagenes_small/9788410/978841021455.jpg 22.71 InStock DEBATE https://static.serlogal.com/imagenes_small/9788410/978841021455.jpg 23.91 21.83 5.00 1.2 L Orbach, Danny Historia Año de edición 2026 Idioma C L Orbach, Danny Historia Disponibilidad Available (delay 1-3 days)

1 19.86 https://old.imosver.com/en/libro/sense-castig-deu-crims-impunes_0010364331 0010364331 SENSE CÀSTIG: DEU CRIMS IMPUNES SENSE CÀSTIG: DEU CRIMS IMPUNES https://static.serlogal.com/imagenes_small/9788418/978841822677.jpg 19.86 NARRATIVE InStock LA CAMPANA https://static.serlogal.com/imagenes_small/9788418/978841822677.jpg 20.91 19.10 5.00 1.05 L SOLER, TURA/GRAU, JORDI NARRATIVA Año de edición Idioma CAT L SOLER, TURA/GRAU, JORDI NARRATIVA Disponibilidad Available (delay 1-3 days)

1 19 https://old.imosver.com/en/libro/luis-tristan_CIM0049606 CIM0049606 LUIS TRISTAN LUIS TRISTAN https://static.serlogal.com/imosver/images/NOportada.jpg 19.00 InStock DOCE CALLES https://static.serlogal.com/imosver/images/NOportada.jpg 20.00 18.27 5.00 1 L PEREZ VELARDE (ED.), LUIS ALBERTO ARTE Año de edición 2025 Idioma L PEREZ VELARDE (ED.), LUIS ALBERTO ARTE Disponibilidad Available (delay 1-3 days)

1 9.12 https://old.imosver.com/en/libro/dos-amores_0010381557 0010381557 Dos amores Dos amores https://static.serlogal.com/imagenes_small/9788499/978849953067.jpg 9.12 CLASSIC LITERATURE InStock https://static.serlogal.com/imagenes_small/9788499/978849953067.jpg 9.60 8.77 5.00 0.48 L Villaverde, Cirilo Narrativa Año de edición 2021 Idioma C L Villaverde, Cirilo Narrativa Disponibilidad Available ( delay 10-15 days)

1 13.25 https://old.imosver.com/en/libro/gracies-vida_0010189784 0010189784 GRÁCIES, VIDA! GRÁCIES, VIDA! https://static.serlogal.com/imagenes_small/9788417/978841709764.jpg 13.25 OutOfStock BABIDI-BU LIBROS https://static.serlogal.com/imagenes_small/9788417/978841709764.jpg 13.95 12.74 5.00 0.7 L VV.AA. LA MIRADA DE DANIEL Año de edición 2018 Idioma CAT L VV.AA. LA MIRADA DE DANIEL Disponibilidad WITHOUT STOCK (delivery on 10 days)

2 127.42 https://old.imosver.com/en/electronica/repetidor-lan-wireless-tp-link-dual-ac1750-re450_EUR0053100 EUR0053100 Repetidor Lan Wireless Tp-Link Dual Ac1750 Re450 Repetidor Lan Wireless Tp-Link Dual Ac1750 Re450 https://static.serlogal.com/imagenes_small/6935364/693536409238.jpg 63.71 NETWORKS InStock https://static.serlogal.com/imagenes_small/6935364/693536409238.jpg 63.71 52.65 0.00 0 C Año de edición 2020 Idioma C Disponibilidad Available (delay 1-3 days)

2 11.3 https://old.imosver.com/en/libro/mis-primeras-formas-mi-primer-libro-de-tela_ALO0075329 ALO0075329 MIS PRIMERAS FORMAS: MI PRIMER LIBRO DE TELA MIS PRIMERAS FORMAS: MI PRIMER LIBRO DE TELA https://static.serlogal.com/imagenes_small/9788417/978841792805.jpg 5.65 InStock PLUTON EDICIONES https://static.serlogal.com/imagenes_small/9788417/978841792805.jpg 5.95 5.43 5.00 0.3 L AA VV PLUTON KIDS Año de edición 2020 Idioma C L AA VV PLUTON KIDS Disponibilidad Available (delay 1-3 days)

1 23.66 https://old.imosver.com/en/libro/q-road_ALO0085991 ALO0085991 Q ROAD Q ROAD https://static.serlogal.com/imagenes_small/9788419/978841928826.jpg 23.66 FICTION InStock DIRTY WORKS https://static.serlogal.com/imagenes_small/9788419/978841928826.jpg 24.91 22.74 5.00 1.25 L Campbell, Bonnie Jo NARRATIVA Año de edición 2022 Idioma C L Campbell, Bonnie Jo NARRATIVA Disponibilidad Available (delay 1-3 days)

2 131.76 https://old.imosver.com/en/electronica/wireless-cpe-exterior-300m-tp-link-ac1900-cpe510_EUR0053121 EUR0053121 Wireless Cpe Exterior 300M Tp-Link Ac1900 Cpe510 Wireless Cpe Exterior 300M Tp-Link Ac1900 Cpe510 https://static.serlogal.com/imagenes_small/6935364/693536407092.jpg 65.88 NETWORKS InStock https://static.serlogal.com/imagenes_small/6935364/693536407092.jpg 65.88 54.45 0.00 0 C Año de edición 2020 Idioma C Disponibilidad Available (delay 1-3 days)

2 30.4 https://old.imosver.com/en/libro/los-materiales_BIT0025205 BIT0025205 LOS MATERIALES LOS MATERIALES https://static.serlogal.com/imagenes_small/9789500/978950039596.jpg 15.20 ART, ARCHITECTURE, FILM AND PHOTOGRAPHY OutOfStock LOSADA https://static.serlogal.com/imagenes_small/9789500/978950039596.jpg 16.00 14.61 5.00 0.8 L Tonucci, Francesco LOSADA Año de edición 2011 Idioma C L Tonucci, Francesco LOSADA Disponibilidad WITHOUT STOCK (delivery on 10 days)

1 12.3 https://old.imosver.com/en/libro/zarazas_0010058430 0010058430 Zarazas Zarazas https://static.serlogal.com/imagenes_small/9788490/978849002046.jpg 12.30 POETRY InStock HIPERION https://static.serlogal.com/imagenes_small/9788490/978849002046.jpg 12.95 11.83 5.00 0.65 L Tato, Álvaro POESIA HIPERION Año de edición 2015 Idioma C L Tato, Álvaro POESIA HIPERION Disponibilidad Available (delay 1-3 days)

2 31.24 https://old.imosver.com/en/electronica/wireless-lan-usb-300m-tp-link-mini-tl-wn823n_EUR0053140 EUR0053140 Wireless Lan Usb 300M Tp-Link Mini Tl-Wn823N Wireless Lan Usb 300M Tp-Link Mini Tl-Wn823N https://static.serlogal.com/imagenes_small/6935364/693536405069.jpg 15.62 NETWORKS InStock https://static.serlogal.com/imagenes_small/6935364/693536405069.jpg 15.62 12.91 0.00 0 C Año de edición 2020 Idioma C Disponibilidad Available (delay 1-3 days)

2 47.82 https://old.imosver.com/en/electronica/adaptador-usb-alta-pot-300m-tp-link-tl-wn8200nd_EUR0053138 EUR0053138 Adaptador Usb Alta Pot. 300M Tp-Link Tl-Wn8200Nd Adaptador Usb Alta Pot. 300M Tp-Link Tl-Wn8200Nd https://static.serlogal.com/imagenes_small/6935364/693536405074.jpg 23.91 NETWORKS InStock https://static.serlogal.com/imagenes_small/6935364/693536405074.jpg 23.91 19.76 0.00 0 C Año de edición 2020 Idioma C Disponibilidad Available (delay 1-3 days)

2 50.98 https://old.imosver.com/en/electronica/router-wireless-tp-link-n300-tl-wr841n_EUR0053133 EUR0053133 Router Wireless Tp-Link N300 Tl-Wr841N Router Wireless Tp-Link N300 Tl-Wr841N https://static.serlogal.com/imagenes_small/6935364/693536405124.jpg 25.49 NETWORKS InStock https://static.serlogal.com/imagenes_small/6935364/693536405124.jpg 25.49 21.07 0.00 0 C Año de edición 2020 Idioma C Disponibilidad Available (delay 1-3 days)

1 9.45 https://old.imosver.com/en/libro/mi-maestro_0010775501 0010775501 Mi maestro Mi maestro https://static.serlogal.com/imagenes_small/9788411/978841127034.jpg 9.45 OutOfStock SAT NAM https://static.serlogal.com/imagenes_small/9788411/978841127034.jpg 9.95 9.09 5.00 0.5 L VIVEKANANDA, SWAMI Clàssics del ioga Año de edición 2025 Idioma C L VIVEKANANDA, SWAMI Clàssics del ioga Disponibilidad WITHOUT STOCK (delivery on 10 days)

3 21.39 https://old.imosver.com/en/libro/balduino_TOR0006060 TOR0006060 Balduino Balduino https://static.serlogal.com/imagenes_small/9788415/978841566237.jpg 7.13 RELIGION InStock EDIBESA https://static.serlogal.com/imagenes_small/9788415/978841566237.jpg 7.51 6.85 5.00 0.38 L Salaverri Aranegui, José María VIDAS Y SEMBLANZAS Año de edición 2012 Idioma C L Salaverri Aranegui, José María VIDAS Y SEMBLANZAS Disponibilidad Available (delay 1-3 days)

3 16.95 https://old.imosver.com/en/libro/anillos-con-brillo_8799980068 8799980068 Anillos con brillo Anillos con brillo https://static.serlogal.com/imagenes_small/9789876/978987637164.jpg 5.65 ACTIVITIES, CRAFTS AND HOBBIES InStock CATAPULTA EDITORES https://static.serlogal.com/imagenes_small/9789876/978987637164.jpg 5.95 5.43 5.00 0.3 L VV.AA. INFANTIL-JUVENIL Año de edición 2013 Idioma C L VV.AA. INFANTIL-JUVENIL Disponibilidad Available (delay 1-3 days)

3 56.85 https://old.imosver.com/en/libro/extinciones-el-crepusculo-de-las-especies_0010499221 0010499221 Extinciones: El crepúsculo de las especies Extinciones: El crepúsculo de las especies https://static.serlogal.com/imagenes_small/9788412/978841233265.jpg 18.95 COMIC AND GAMES InStock GARBUIX BOOK https://static.serlogal.com/imagenes_small/9788412/978841233265.jpg 19.95 18.22 5.00 1 L Franc, Alexandre NOVELA GRAFICA Año de edición 2022 Idioma C L Franc, Alexandre NOVELA GRAFICA Disponibilidad Available (delay 1-3 days)

2 70.14 https://old.imosver.com/en/libro/subskriptionssysteme_0010730432 0010730432 Subskriptionssysteme Subskriptionssysteme https://static.serlogal.com/imagenes_small/9783519/978351900372.jpg 35.07 OutOfStock SPRINGER VERLAG https://static.serlogal.com/imagenes_small/9783519/978351900372.jpg 36.92 33.73 5.00 1.85 L LEHNER, WOLFGANG Teubner Texte zur Informatik Año de edición 2002 Idioma A L LEHNER, WOLFGANG Teubner Texte zur Informatik Disponibilidad WITHOUT STOCK (delivery on 10 days)

3 68.28 https://old.imosver.com/en/libro/6ds_0010199496 0010199496 6ds 6ds https://static.serlogal.com/imagenes_small/9788563/978856399321.jpg 22.76 ECONOMY AND BUSINESS InStock EVORA https://static.serlogal.com/imagenes_small/9788563/978856399321.jpg 23.96 21.89 5.00 1.2 L Wick, Calhoun; Jefferson, Andrew; Polloc LITERATURA Año de edición Idioma P L Wick, Calhoun; Jefferson, Andrew; Polloc LITERATURA Disponibilidad Available ( delay 10-15 days)

2 16.16 https://old.imosver.com/en/libro/chitose-etc_0010172299 0010172299 CHITOSE ETC CHITOSE ETC https://static.serlogal.com/imagenes_small/9788491/978849146124.jpg 8.08 MANGA OutOfStock PLANETA COMICS https://static.serlogal.com/imagenes_small/9788491/978849146124.jpg 8.51 7.76 5.00 0.43 L Yoshizumi, Wataru COMICS MANGA Año de edición 2017 Idioma C L Yoshizumi, Wataru COMICS MANGA Disponibilidad WITHOUT STOCK (delivery on 10 days)

2 96.48 https://old.imosver.com/en/electronica/wireless-cpe-exterior-300m-tp-link-cpe210_EUR0053117 EUR0053117 Wireless Cpe Exterior 300M Tp-Link Cpe210 Wireless Cpe Exterior 300M Tp-Link Cpe210 https://static.serlogal.com/imagenes_small/6935364/693536407167.jpg 48.24 NETWORKS InStock https://static.serlogal.com/imagenes_small/6935364/693536407167.jpg 48.24 39.87 0.00 0 C Año de edición 2020 Idioma C Disponibilidad Available (delay 1-3 days)

4 57 https://old.imosver.com/en/libro/os-leopardos-da-lua_0770100048 0770100048 Os leopardos da lúa Os leopardos da lúa https://static.serlogal.com/imagenes_small/9788471/978847154872.jpg 14.25 LITERATURE InStock GALAXIA https://static.serlogal.com/imagenes_small/9788471/978847154872.jpg 15.00 13.70 5.00 0.75 L Fonte, Ramiro LITERARIA Año de edición Idioma G L Fonte, Ramiro LITERARIA Disponibilidad Available (delay 1-3 days)

2 92.32 https://old.imosver.com/en/libro/informatik_0010730430 0010730430 Informatik Informatik https://static.serlogal.com/imagenes_small/9783815/978381542033.jpg 46.16 OutOfStock SPRINGER VERLAG https://static.serlogal.com/imagenes_small/9783815/978381542033.jpg 48.59 44.38 5.00 2.43 L Paul, Wolfgang J. Teubner Texte zur Informatik Año de edición 1992 Idioma A L Paul, Wolfgang J. Teubner Texte zur Informatik Disponibilidad WITHOUT STOCK (delivery on 10 days)

1 6.6 https://old.imosver.com/en/libro/mitologia-celta_CIM0029820 CIM0029820 MITOLOGIA CELTA MITOLOGIA CELTA https://static.serlogal.com/imosver/images/NOportada.jpg 6.60 InStock PLUTON EDICIONES https://static.serlogal.com/imosver/images/NOportada.jpg 6.95 6.35 5.00 0.35 L TAPIA, JAVIER MYTHOS Año de edición 2024 Idioma L TAPIA, JAVIER MYTHOS Disponibilidad Available (delay 1-3 days)

4 32.32 https://old.imosver.com/en/libro/naruto_0010072126 0010072126 NARUTO NARUTO https://static.serlogal.com/imagenes_small/9788415/978841582113.jpg 8.08 COMIC AND GAMES InStock PLANETA COMICS https://static.serlogal.com/imagenes_small/9788415/978841582113.jpg 8.51 7.76 5.00 0.43 L Kishimoto, Masashi NARUTO.MANGA Año de edición 2011 Idioma CAT L Kishimoto, Masashi NARUTO.MANGA Disponibilidad Available (delay 1-3 days)

3 57 https://old.imosver.com/en/libro/assaigs_CIM0060536 CIM0060536 Assaigs Assaigs https://static.serlogal.com/imagenes_small/9788418/978841885899.jpg 19.00 HISTORY InStock EDIC.1984 https://static.serlogal.com/imagenes_small/9788418/978841885899.jpg 20.00 18.27 5.00 1 L Mandelstam, Óssip Perfils Año de edición 2025 Idioma CAT L Mandelstam, Óssip Perfils Disponibilidad Available (delay 1-3 days)

1 8.08 https://old.imosver.com/en/libro/chitose-etc-2_0010169768 0010169768 CHITOSE ETC 2 CHITOSE ETC 2 https://static.serlogal.com/imagenes_small/9788491/978849146075.jpg 8.08 MANGA InStock PLANETA COMICS https://static.serlogal.com/imagenes_small/9788491/978849146075.jpg 8.51 7.76 5.00 0.43 L Yoshizumi, Wataru COMICS MANGA Año de edición 2017 Idioma C L Yoshizumi, Wataru COMICS MANGA Disponibilidad Available (delay 1-3 days)

2 59.96 https://old.imosver.com/en/electronica/repetidor-lan-wireless-tp-link-dual-ac750-re200_EUR0053119 EUR0053119 Repetidor Lan Wireless Tp-Link Dual Ac750 Re200 Repetidor Lan Wireless Tp-Link Dual Ac750 Re200 https://static.serlogal.com/imagenes_small/6935364/693536407129.jpg 29.98 NETWORKS InStock https://static.serlogal.com/imagenes_small/6935364/693536407129.jpg 29.98 24.78 0.00 0 C Año de edición 2020 Idioma C Disponibilidad Available (delay 1-3 days)

2 28.32 https://old.imosver.com/en/libro/la-risa-de-ignacio_0010038098 0010038098 La risa de Ignacio La risa de Ignacio https://static.serlogal.com/imagenes_small/9788416/978841607836.jpg 14.16 NARRATIVE OutOfStock CUENTO DE LUZ https://static.serlogal.com/imagenes_small/9788416/978841607836.jpg 14.91 13.61 5.00 0.75 L Peña, Juan Ignacio CUENTO LUZ Año de edición 2014 Idioma C L Peña, Juan Ignacio CUENTO LUZ Disponibilidad WITHOUT STOCK (delivery on 10 days)

Nombre	Descripcion	Duración
SESS_ID	Esta cookie es necesaria para que el sitio web funcione y no se pueden desactivar en nuestros sistemas	24 horas
SESS_ID_CARTEL_COOKIE	Controla el comportamiento del banner de cookies.	720 horas
COOKIE_CHAT	Esta cookie se utiliza para el correcto funcionamiento del Chat de Oct8ne para prestar el servicio de atención al cliente al usuario	24 horas
PHPSESSID	Cookie de Sesion, desaparece cuando se cierra la web.	sesión
AFILIADO	Entrada a la web desde un enlace de afiliado.	8760 horas
GESTION_COOKIES	Aceptación de las cookies	8760 horas

Nombre	Descripcion	Duración
logglytrackingsession	Identifica y registra la sesión del usuario con fines analíticos.	sesión
GOOGLE_ANALYTICS	Registra una identificación única que se utiliza para generar datos estadísticos acerca de cómo utiliza el visitante el sitio web.	17280 horas
_clsk	Registra datos estadísticos del comportamiento del visitante en la web. Esto se utiliza para análisis internos por el operador de la web.	8640 horas

Gestión de Cookies

LANGUAGES

Comments