17821108026a38da52d386b 20 562.03

1 5.65 https://old.imosver.com/ca/libro/polos-opuestos_0010306843 0010306843 Polos opuestos Polos opuestos https://static.serlogal.com/imagenes_small/9788408/978840824451.jpg 5.65 ROMÀNTICA InStock CROSSBOOKS https://static.serlogal.com/imagenes_small/9788408/978840824451.jpg 5.95 5.43 5.00 0.3 L Menon, Sandhya Ficción Año de edición 2021 Idioma C L Menon, Sandhya Ficción Disponibilidad DISPONIBLE (Lliurament en 1-2 dias)

1 66.5 https://old.imosver.com/ca/libro/60-q-ampa-on-bovine-parasitology_0010461656 0010461656 60 Q: amp;A on bovine parasitology 60 Q: amp;A on bovine parasitology https://static.serlogal.com/imagenes_small/9788494/978849424497.jpg 66.50 ANIMALS I MASCOTES OutOfStock SERVET https://static.serlogal.com/imagenes_small/9788494/978849424497.jpg 70.00 63.94 5.00 3.5 L MEANA MAÑES, ARANZAZU;ROJO VAZQUEZ, FRAN 00 Año de edición 2014 Idioma L MEANA MAÑES, ARANZAZU;ROJO VAZQUEZ, FRAN 00 Disponibilidad SENSE ESTOC (Lliurament estimat 10 dies)

1 49.39 https://old.imosver.com/ca/libro/exchange-rates-and-prices_0010647127 0010647127 Exchange Rates and Prices Exchange Rates and Prices https://static.serlogal.com/imagenes_small/9783540/978354060801.jpg 49.39 OutOfStock SPRINGER https://static.serlogal.com/imagenes_small/9783540/978354060801.jpg 51.99 47.49 5.00 2.6 L MENON, JAYANT Lecture Notes in Economics and Mathematical Systems Año de edición 1996 Idioma I L MENON, JAYANT Lecture Notes in Economics and Mathematical Systems Disponibilidad SENSE ESTOC (Lliurament estimat 10 dies)

1 18.05 https://old.imosver.com/ca/libro/appostando-el-corazon_0010392930 0010392930 Appostando el corazón Appostando el corazón https://static.serlogal.com/imagenes_small/9788419/978841913102.jpg 18.05 ROMÀNTICA InStock TITANIA https://static.serlogal.com/imagenes_small/9788419/978841913102.jpg 19.00 17.36 5.00 0.95 L Menon, Lily Titania amour Año de edición 2023 Idioma C L Menon, Lily Titania amour Disponibilidad DISPONIBLE (Lliurament en 1-2 dias)

1 118.55 https://old.imosver.com/ca/libro/positive-linear-maps-of-operator-algebras_0010657686 0010657686 Positive Linear Maps of Operator Algebras Positive Linear Maps of Operator Algebras https://static.serlogal.com/imagenes_small/9783642/978364242913.jpg 118.55 OutOfStock SPRINGER https://static.serlogal.com/imagenes_small/9783642/978364242913.jpg 124.79 113.99 5.00 6.24 L STøRMER, ERLING Springer Monographs in Mathematics Año de edición 2015 Idioma I L STøRMER, ERLING Springer Monographs in Mathematics Disponibilidad SENSE ESTOC (Lliurament estimat 10 dies)

1 12.3 https://old.imosver.com/ca/libro/coser-emoticonos-60-figuras-con-sus-patrones-para-hacer-37-emoti_AST0015994 AST0015994 COSER EMOTICONOS: 60 figuras con sus patrones para hacer 37 emoti COSER EMOTICONOS: 60 figuras con sus patrones para hacer 37 emoti https://static.serlogal.com/imagenes_small/9788498/978849874627.jpg 12.30 MANUALITATS I COL·LECCIONISME InStock DRAC https://static.serlogal.com/imagenes_small/9788498/978849874627.jpg 12.95 11.83 5.00 0.65 L Runge, Gailen LABORES Año de edición 2019 Idioma C L Runge, Gailen LABORES Disponibilidad DISPONIBLE (Lliurament en 1-2 dias..)

1 18.05 https://old.imosver.com/ca/libro/os-fios_0770100307 0770100307 Os fíos Os fíos https://static.serlogal.com/imagenes_small/9788498/978849865326.jpg 18.05 LITERATURA OutOfStock GALAXIA https://static.serlogal.com/imagenes_small/9788498/978849865326.jpg 19.00 17.36 5.00 0.95 L Sierra Veloso, Xurxo LITERARIA Año de edición 2010 Idioma G L Sierra Veloso, Xurxo LITERARIA Disponibilidad SENSE ESTOC (Lliurament estimat 10 dies)

1 14.25 https://old.imosver.com/ca/libro/semillas_0010477717 0010477717 Semillas Semillas https://static.serlogal.com/imagenes_small/9788419/978841922814.jpg 14.25 LITERATURA JUVENIL: MÉS DE 12 ANYS OutOfStock BABIDI-BU https://static.serlogal.com/imagenes_small/9788419/978841922814.jpg 15.00 13.70 5.00 0.75 L Rodríguez Negreira, Uxía MIRAHADAS (JÓVENES ADULTOS) Año de edición 2022 Idioma C L Rodríguez Negreira, Uxía MIRAHADAS (JÓVENES ADULTOS) Disponibilidad SENSE ESTOC (Lliurament estimat 10 dies)

1 118.55 https://old.imosver.com/ca/libro/positive-linear-maps-of-operator-algebras_0010657697 0010657697 Positive Linear Maps of Operator Algebras Positive Linear Maps of Operator Algebras https://static.serlogal.com/imagenes_small/9783642/978364234368.jpg 118.55 OutOfStock SPRINGER https://static.serlogal.com/imagenes_small/9783642/978364234368.jpg 124.79 113.99 5.00 6.24 L STøRMER, ERLING Springer Monographs in Mathematics Año de edición 2012 Idioma I L STøRMER, ERLING Springer Monographs in Mathematics Disponibilidad SENSE ESTOC (Lliurament estimat 10 dies)

1 11.35 https://old.imosver.com/ca/libro/marmalade-boy-n36_C840130002 C840130002 Marmalade Boy nº3/6 Marmalade Boy nº3/6 https://static.serlogal.com/imagenes_small/9788467/978846744513.jpg 11.35 CÒMIC I JOCS InStock PLANETA COMICS https://static.serlogal.com/imagenes_small/9788467/978846744513.jpg 11.95 10.92 5.00 0.6 L Wataru Yoshizumi MARMALADE BOY Año de edición 2010 Idioma C L Wataru Yoshizumi MARMALADE BOY Disponibilidad DISPONIBLE (Lliurament en 1-2 dias)

1 13.78 https://old.imosver.com/ca/libro/educacion-y-referencia-normativa_DGL0033061 DGL0033061 Educación y referencia normativa Educación y referencia normativa https://static.serlogal.com/imagenes_small/9788487/978848776789.jpg 13.78 InStock ALJIBE https://static.serlogal.com/imagenes_small/9788487/978848776789.jpg 14.51 13.24 5.00 0.73 L Montero Alcaide, Antonio SIN COLECCION Año de edición Idioma L Montero Alcaide, Antonio SIN COLECCION Disponibilidad DISPONIBLE (Lliurament en 1-2 dias..)

1 15.11 https://old.imosver.com/ca/libro/la-rebelion-del-rey_MAC0000833 MAC0000833 La rebelión del rey La rebelión del rey https://static.serlogal.com/imagenes_small/9788417/978841752512.jpg 15.11 NOVEL·LA InStock OZ EDITORIAL https://static.serlogal.com/imagenes_small/9788417/978841752512.jpg 15.91 14.53 5.00 0.8 L Pacat, C. S. Oz Nébula Año de edición 2019 Idioma C L Pacat, C. S. Oz Nébula Disponibilidad DISPONIBLE (Lliurament en 1-2 dias)

1 14.25 https://old.imosver.com/ca/libro/el-ser-digital_0010303321 0010303321 El ser digital El ser digital https://static.serlogal.com/imagenes_small/9788477/978847768411.jpg 14.25 ECONOMIA I EMPRESA OutOfStock EUNATE https://static.serlogal.com/imagenes_small/9788477/978847768411.jpg 15.00 13.70 5.00 0.75 L Barricart, Ecequiel CREATIVA Año de edición 2021 Idioma C L Barricart, Ecequiel CREATIVA Disponibilidad SENSE ESTOC (Lliurament estimat 10 dies)

1 14.16 https://old.imosver.com/ca/libro/tres-coronas-oscuras_0010559795 0010559795 Tres coronas oscuras Tres coronas oscuras https://static.serlogal.com/imagenes_small/9788419/978841946767.jpg 14.16 NARRATIVA InStock DEL NUEVO EXTREMO https://static.serlogal.com/imagenes_small/9788419/978841946767.jpg 14.91 13.61 5.00 0.75 L Blake, Kendare SIN COLECCION Año de edición 2025 Idioma C L Blake, Kendare SIN COLECCION Disponibilidad DISPONIBLE (Lliurament en 1-2 dias..)

1 15.15 https://old.imosver.com/ca/libro/diari-de-loki-diari-de-loki-2-com-divertir-te-com-un-deu-sens_0010378014 0010378014 Diari de Loki (Diari de Loki 2): Com divertir-te com un déu (sens Diari de Loki (Diari de Loki 2): Com divertir-te com un déu (sens https://static.serlogal.com/imagenes_small/9788419/978841942178.jpg 15.15 LITERATURA INFANTIL: DE 0 A 12 ANYS InStock MONTENA https://static.serlogal.com/imagenes_small/9788419/978841942178.jpg 15.95 14.57 5.00 0.8 L Stowell, Louie Diari de Loki Año de edición 2023 Idioma CAT L Stowell, Louie Diari de Loki Disponibilidad DISPONIBLE (Lliurament en 1-2 dias)

1 10.93 https://old.imosver.com/ca/libro/m-r-abececuentos-cada-letra-un-cuento_0129950003 0129950003 M-R (ABECECUENTOS cada letra, un cuento) M-R (ABECECUENTOS cada letra, un cuento) https://static.serlogal.com/imagenes_small/9788421/978842168617.jpg 10.93 OutOfStock BRUÑO https://static.serlogal.com/imagenes_small/9788421/978842168617.jpg 11.51 10.51 5.00 0.58 L Doumerc, Beatriz;Barnes, Gabriel ABECECUENTOS Año de edición 2011 Idioma C L Doumerc, Beatriz;Barnes, Gabriel ABECECUENTOS Disponibilidad SENSE ESTOC (Lliurament estimat 10 dies)

2 17 https://old.imosver.com/ca/libro/planeta-manga-backhome-n-0202_0010368963 0010368963 Planeta Manga: Backhome nº 02/02 Planeta Manga: Backhome nº 02/02 https://static.serlogal.com/imagenes_small/9788411/978841140437.jpg 8.50 MANGA OutOfStock PLANETA COMICS https://static.serlogal.com/imagenes_small/9788411/978841140437.jpg 8.95 8.18 5.00 0.45 L Caballero, Toni UNIVERSO PLANETA MANGA Año de edición 2023 Idioma C L Caballero, Toni UNIVERSO PLANETA MANGA Disponibilidad SENSE ESTOC (Lliurament estimat 10 dies)

1 14.95 https://old.imosver.com/ca/libro/il-filobus-numero-75-ediz-a-colori_ARC0094892 ARC0094892 IL FILOBUS NUMERO 75. EDIZ. A COLORI IL FILOBUS NUMERO 75. EDIZ. A COLORI https://static.serlogal.com/imosver/images/NOportada.jpg 14.95 InStock EMME EDIZIONI https://static.serlogal.com/imosver/images/NOportada.jpg 15.74 14.37 5.00 0.79 L RODARI, GIANNI Año de edición 2026 Idioma L RODARI, GIANNI Disponibilidad DISPONIBLE (Lliurament en 1-2 dias..)

1 14.06 https://old.imosver.com/ca/libro/sin-miedo-a-volar-el-movimiento-de-un-cuerpo-el-equilibrio-de-u_AST0012325 AST0012325 SIN MIEDO A VOLAR: El movimiento de un cuerpo, el equilibrio de u SIN MIEDO A VOLAR: El movimiento de un cuerpo, el equilibrio de u https://static.serlogal.com/imagenes_small/9788490/978849061567.jpg 14.06 ESPORTS InStock PALABRA https://static.serlogal.com/imagenes_small/9788490/978849061567.jpg 14.80 13.52 5.00 0.74 L Biles, Simone ASTOR Año de edición 2017 Idioma C L Biles, Simone ASTOR Disponibilidad DISPONIBLE (Lliurament en 1-2 dias)

IDOMES

Registra't

CERCA AVANÇADA

TENS 20 Articles 562,03 € Veure cistella

Using Sophisticated Models in Resolution Theorem Proving

Name: Using Sophisticated Models in Resolution Theorem Proving
Price: 49.39 EUR
Availability: InStock
Author: SANDFORD, DAVID M.
ISBN: 978-3-540-10231-1

SANDFORD, DAVID M.

Using Sophisticated Models in Resolution Theorem Proving SANDFORD, DAVID M.

Nº Col·lecció: 0
Editorial:: SPRINGER
Any d'edició:: 1980
ISBN:: 978-3-540-10231-1
EAN: 9783540102311
Col·lecció:: Lecture Notes in Computer Science
Alt:: 233 Alt
Ample:: 155Ample
Idioma:: INGLES

Descompte-5%

Abans:51,99 €

Després49,39 €

IVA inclòs

SENSE ESTOC (Lliurament estimat 10 dies)

Afegir a cistella

Avisar disponibilitat

Afegir a favorits

Si tu compra supera los 19 €, los gastos de envío gratis. Ver detalles

Comentaris

Sigues el primer a comentar aquest article

Using Sophisticated Models in Resolution Theorem Proving es del autor SANDFORD, DAVID M.

Using Sophisticated Models in Resolution Theorem Proving del autor SANDFORD, DAVID M. editado por SPRINGER en el año 1980.

Using Sophisticated Models in Resolution Theorem Proving tiene un código de ISBN 978-3-540-10231-1. En este caso se trata de formato paper, pero no disponemos de Using Sophisticated Models in Resolution Theorem Proving en formato ebook.

Otros libros de

Otros libros de SPRINGER

-5%

: FALANGE:HISTORÍA DEL FASCISMO ESPAÑOL
: Payne, Stanley G.; GRUPO AXEL SPRINGER

~~6,24 €~~ 5,93 €

BIBLIOTECA DE LA HISTORIA DE ESPAÑA. 26. ISABEL LA CATOLICA.

-5%

: BIBLIOTECA DE LA HISTORIA DE ESPAÑA. 26. ISABEL LA CATOLICA.
: TARSICIO DE AZCONA (O.F.M. CAP.); GRUPO AXEL SPRINGER

~~6,24 €~~ 5,93 €

-5%

: ISABEL LA CATOLICA
: TARSICIO DE AZCONA (O.F.M. CAP.); GRUPO AXEL SPRINGER

~~6,24 €~~ 5,93 €

Vols que et comptem un secret? 🤫 Subscriu-te a nostra newsletter i rep les últimes novetats i promocions especials. Uneix-te a la nostra comunitat de lectors i lectores!

Responsable del tractament: Serlogal 2.0 S.L.; Contacte: protecciondatos@serlogal.com
Finalitat: Enviament de comunicacions comercials. Base jurídica: Consentiment exprés.
Destinataris: No es preveu cessions de dades a empreses alienes al nostre grup.
Drets: Accés, Rectificació, Limitació, Oposició
Es pot consultar la informació detallada a la nostra Política de Privadesa

Segueix

Twitter Facebook Instagram

Com Comprar

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

IDOMES

Using Sophisticated Models in Resolution Theorem Proving

Using Sophisticated Models in Resolution Theorem Proving es del autor SANDFORD, DAVID M.

Otros libros de

Otros libros de SPRINGER