Computational aspects of an order-sorted logic with term declarations.

Idioma: inglés

Editorial: Springer, 1989

3540517057 / 9783540517054

  • Tapa blanda
  • Usado
Ver todos los detalles
Vendedor patrimonial

Librería: Kloof Booksellers & Scientia Verlag, Amsterdam, HolandaKloof Booksellers & Scientia Verlag

Vendedor de 4 estrellas

Vendedor de IberLibro desde 7 de octubre de 1999

Miembro de asociación: NVVAILAB

Tapa blanda

Condición: Usado - Bueno

EUR 16,95

Envío por EUR 30,00 
Se envía de Holanda a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Berlin & New York : Springer-Verlag, 1989. Paperback. viii, 171 pp. Library stamp. (Lecture notes in artificial intelligence 395). - Papers about the computational aspects of an order-sorted logic (OSL) with term declarations, a logic framework that extends traditional logic by incorporating sorting of terms. The book discusses how such logics can be applied to complex system modeling, particularly in areas like artificial intelligence and programming languages. It provides theoretical insights and computational frameworks for representing knowledge and organizing types and terms in formal systems. By using order-sorted logic, this work contributes to enhancing knowledge representation, type systems, and functional programming. Its relevance extends to those working with sorted logic or engaged in developing advanced computational models, offering new methodologies for systematizing complex information in AI and related fields. Condition : very good copy. ISBN 9783540517054. Keywords : COMPUTER SCIENCE, artificial intelligence (AI) order-sorted logic knowledge-based systems. …

N° de ref. del artículo 304100

Título
Computational aspects of an order-sorted logic with term declarations.
Autor
Schmidt-Schauss, Manfred.
Editorial
Springer
Año de publicación
1989
Estado
very good
Encuadernación
Encuadernación de tapa blanda
Idioma
inglés
ISBN 10
3540517057
ISBN 13
9783540517054

Kloof Booksellers & Scientia Verlag

Amsterdam, Holanda

Vendedor de 4 estrellas

Vendedor de IberLibro desde 7 de octubre de 1999

Miembro de asociación:

Tarifas de envío de Holanda a Estados Unidos de America

ArtículoDe 14 a 60 días hábilesDe 7 a 15 días hábiles
Primer artículoEUR 30,00EUR 65,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Factura
  • Giro bancario
  • PayPal

Descripción de la tienda

In business since 1923 we are specialized in law, philosophy and other scholarly books from the 16th - 20th century. We also carry a general stock and we have permanently in stock ca. 60.000 titles. Visit only by appointment. Member of ILAB and the NVVA, the Dutch Antiquarian Booksellers Association.

Especialidad

Art, Sociology, Economics, History, Medicine, Science, Philosophy, Law

Miembro de asociación

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Los miembros de estas asociaciones se comprometen a mantener los estándares más altos. Garantizan la autenticidad de todos los artículos puestos a la venta. Proporcionan descripciones detalladas y expertas, informan de todos los defectos o restauraciones importantes, incluyen precios claros y precisos y actúan de manera justa y honesta durante la experiencia de compra.

Información empresarial del vendedor

Kloof Booksellers & Scientia Verlag

Holanda