Imagen 1 de 1

¿Quieres vender uno?

Véndelo tú mismo

Lógica de Ciencias de la Computación: 5th Workshop, CSL '91, Berna, Suiza, 7-11 de octubre,-

Estado:

Nuevo

Cantidad:

3 disponibles

Precio:

USD67,88

Aproximadamente62,48 EUR

Respira tranquilidad. Se aceptan devoluciones.

Envío:

Gratis Economy Shipping. Ver detallespara el envío

Ubicado en: Fairfield, Ohio, Estados Unidos

Entrega:

Entrega prevista entre el jue. 6 jun. y el lun. 17 jun. a 43230

Devoluciones:

30 días para devoluciones. El comprador paga el envío de la devolución. Ver detalles- Más información sobre devoluciones

Pagos:

Compra con confianza

Garantía al cliente de eBay

Si no recibes el artículo que has pedido, te devolvemos el dinero.

Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña

Información del vendedor

grandeagleretail (919741)
98,2% de votos positivos

Registrado como vendedor profesional

Informar sobre este artículo (se abre en una nueva ventana o pestaña)

El vendedor asume toda la responsabilidad de este anuncio.

N.º de artículo de eBay:364688686491

Última actualización el 19 may 2024 13:53:04 H.EspVer todas las actualizacionesVer todas las actualizaciones

Características del artículo

Estado: Nuevo: Libro nuevo, sin usar y sin leer, que está en perfecto estado; incluye todas las páginas sin ...

ISBN-13: 9783540557890

Book Title: Computer Science Logic

ISBN: 9783540557890

Publication Year: 1992

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: Computer ScienceLogic : 5th Workshop, Csi'91 Berne, Switzerland October 1991, Proceedings

Author: Gerhard Jäger

Item Length: 9.2in

Publisher: Springer Berlin / Heidelberg

Item Width: 6.1in

Item Weight: 48.3 Oz

Number of Pages: VIII, 431 Pages

Acerca de este producto

Product Information

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

354055789x

ISBN-13

9783540557890

eBay Product ID (ePID)

5038684854

Product Key Features

Author

Gerhard Jäger

Publication Name

Computer ScienceLogic : 5th Workshop, Csi'91 Berne, Switzerland October 1991, Proceedings

Format

Trade Paperback

Language

English

Publication Year

1992

Series

Lecture Notes in Computer Science Ser.

Type

Textbook

Number of Pages

VIII, 431 Pages

Dimensions

Item Length

9.2in

Item Width

6.1in

Item Weight

48.3 Oz

Additional Product Features

Series Volume Number

626

Number of Volumes

1 Vol.

Lc Classification Number

Qa75.5-76.95

Table of Content

The expressive power of transitive closure and 2-way multihead automata.- Correctness proof for the WAM with types.- Model checking of persistent Petri nets.- Provability in TBLL: A decision procedure.- How to implement first order formulas in local memory machine models.- A new approach to abstract data types II computation on ADTs as ordinary computation.- A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation.- On bounded theories.- The cutting plane proof system with bounded degree of falsity.- Denotational versus declarative semantics for functional programming.- On transitive closure logic.- Some aspects of the probabilistic behavior of variants of resolution.- Safe queries in relational databases with functions.- Logical inference and polyhedral projection.- Stable logic.- A transformational methodology for proving termination of logic programs.- Plausibility logic.- Towards Kleene Algebra with recursion.- Equational specification of abstract types and combinators.- Normal forms in infinite-valued logic: The case of one variable.- A fragment of first order logic adequate for observation equivalence.- Ordinal processes in comparative concurrency semantics.- Logical semantics of modularisation.- A cut-elimination procedure designed for evaluating proofs as programs.- Minimal from classical proofs.- Quantifier hierarchies over word relations.- Complexity results for the default- and the autoepistemic logic.- On Completeness for NP via projection translations.- Control of ?-automata, Church's problem, and the emptiness problem for tree ?-automata.- Comparing the theory of representations and constructive mathematics.- Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic.-On completeness of program synthesis systems.- Proving termination for term rewriting systems.

1992

Topic

Programming / Algorithms, Computer Science, Logic

Intended Audience

Scholarly & Professional

Illustrated

Yes

Genre

Computers, Mathematics

Descripción del artículo del vendedor

Información de vendedor profesional

Premier Books LLC

David Taylor

26C Trolley Sq

19806-3356 Wilmington, DE

United States

Mostrar información de contacto

:ocinórtcele oerroCmoc.liaterelgaednarg@yabe

Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.

El vendedor asume toda la responsabilidad de este anuncio.

N.º de artículo de eBay:364688686491

Última actualización el 19 may 2024 13:53:04 H.EspVer todas las actualizacionesVer todas las actualizaciones

Envío y manipulación

Ubicación del artículo:

Fairfield, Ohio, Estados Unidos

Realiza envíos a:

Afganistán, Albania, Alemania, Andorra, Angola, Anguila, Antigua y Barbuda, Antillas Neerlandesas, Arabia Saudí, Argelia, Argentina, Armenia, Aruba, Australia, Austria, Azerbaiyán, Bahamas, Bahréin, Bangladés, Belice, Benín, Bermudas, Bolivia, Bosnia-Herzegovina, Botsuana, Brasil, Brunéi, Bulgaria, Burkina Faso, Burundi, Bután, Bélgica, Cabo Verde, Camboya, Camerún, Canadá, Chad, Chile, China, Chipre, Colombia, Comoras, Corea del Sur, Costa Rica, Costa de Marfil, Dinamarca, Dominica, Ecuador, Egipto, El Salvador, Emiratos Árabes Unidos, Eritrea, Eslovaquia, Eslovenia, España, Estonia, Etiopía, Fiji, Filipinas, Finlandia, Francia, Gabón, Gambia, Georgia, Ghana, Gibraltar, Granada, Grecia, Groenlandia, Guatemala, Guernsey, Guinea, Guinea Ecuatorial, Guinea-Bisáu, Guyana, Haití, Honduras, Hong Kong, Hungría, India, Indonesia, Iraq, Irlanda, Islandia, Islas Caimán, Islas Cook, Islas Malvinas, Islas Salomón, Islas Turcas y Caicos, Islas Vírgenes Británicas, Israel, Italia, Jamaica, Japón, Jersey, Jordania, Kazajistán, Kenia, Kirguistán, Kiribati, Kuwait, Laos, Lesoto, Letonia, Liberia, Liechtenstein, Lituania, Luxemburgo, Líbano, Macao, Macedonia, Madagascar, Malasia, Malaui, Maldivas, Malta, Malí, Marruecos, Mauricio, Mauritania, Mayotte, Moldavia, Mongolia, Montenegro, Montserrat, Mozambique, México, Mónaco, Namibia, Nauru, Nepal, Nicaragua, Nigeria, Niue, Noruega, Nueva Zelanda, Níger, Omán, Pakistán, Paraguay, Países Bajos, Perú, Polonia, Portugal, Qatar, Reino Unido, República Centroafricana, República Checa, República Democrática del Congo, República Dominicana, República de Croacia, República del Congo, Ruanda, Rumanía, San Cristóbal y Nieves, San Marino, San Pedro y Miquelón, San Vicente y las Granadinas, Santa Elena, Santa Lucía, Senegal, Serbia, Seychelles, Sierra Leona, Singapur, Somalia, Sri Lanka, Suazilandia, Sudáfrica, Suecia, Suiza, Surinam, Svalbard y Jan Mayen, Sáhara Occidental, Tailandia, Taiwán, Tanzania, Tayikistán, Todo el mundo, Togo, Tonga, Trinidad y Tobago, Turkmenistán, Turquía, Tuvalu, Túnez, Uganda, Uruguay, Uzbekistán, Vanuatu, Vaticano, Vietnam, Wallis y Futuna, Yemen, Yibuti, Zambia, Zimbabue

Excluye:

APO/FPO, Alaska/Hawái, Barbados, Bielorrusia, Federación Rusa, Guadalupe, Guayana Francesa, Libia, Martinica, Nueva Caledonia, Panamá, Papúa Nueva Guinea, Polinesia Francesa, Protectorados de EE. UU., Reunión, Samoa, Ucrania, Venezuela

Cantidad:

Cambia el país:

Código postal:

Envío y manipulación	Cada artículo adicional	A	Servicio	Entrega*Consulta las notas de entrega
Envío gratis	Gratis	Estados Unidos	Economy Shipping	Entrega prevista entre el jue. 6 jun. y el lun. 17 jun. a 43230

Notas de entrega *Las fechas previstas de entrega tienen en cuenta el tiempo de manipulación del vendedor, el código postal de origen, el código postal de destino y la hora de aceptación, y dependen del servicio de envío seleccionado y de que el pago se haya hecho efectivo. Los plazos de entrega pueden variar, especialmente en épocas de mucha actividad.

Tiempo de manipulación

Normalmente, se enviará en un plazo de 10 días laborables desde que se haga efectivo el pago.

Impuestos

Puede que se apliquen impuestos durante el pago y envío. Más informaciónMás información sobre el pago de impuestos en las compras de eBay.

Impuesto de ventas del artículo 364688686491

El vendedor carga un impuesto de ventas por los artículos enviados a los siguientes estados:

Estado o provincia	Porcentaje de impuesto de ventas

* El impuesto se aplica al subtotal más gastos de envío y manipulación solo en estas comunidades

Política de devoluciones

Cuando recibas el artículo, ponte en contacto con el vendedor en un plazo de	Forma del reembolso	Gastos de envío de la devolución
30 días	Reembolso del dinero	El comprador paga el envío de la devolución

Pulsa aquíaquí para obtener más información sobre devoluciones. En las transacciones que cumplan los requisitos necesarios, estarás cubierto por la Garantía al cliente de eBay si recibiste un artículo que es distinto de la descripción que aparece en el anuncio.

El comprador es responsable de los gastos de envío de la devolución.

Detalles de la política de devoluciones
Se aceptan devoluciones

Detalles de pago

Formas de pago

Nota: como resultado de la valoración de riesgo del comprador, es posible que algunas formas de pago no estén disponibles en el proceso de Pago y envío.