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

Sprache: Englisch

Verlag: Springer, 1989

3540517057 / 9783540517054

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, NiederlandeKloof Booksellers & Scientia Verlag

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei ZVAB seit 7. Oktober 1999

Verbandsmitglied: NVVAILAB

Softcover

Zustand: Gebraucht - Gut

EUR 16,95

EUR 30,00 Versand 
Versand von Niederlande nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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. …

Bestandsnummer des Verkäufers 304100

Titel
Computational aspects of an order-sorted logic with term declarations.
Autor
Schmidt-Schauss, Manfred.
Verlag
Springer
Erscheinungsjahr
1989
Zustand
very good
Einband
Softcover
Sprache
Englisch
ISBN-10
3540517057
ISBN-13
9783540517054

Kloof Booksellers & Scientia Verlag

Amsterdam, Niederlande

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei ZVAB seit 7. Oktober 1999

Verbandsmitglied:

Versandkosten von Niederlande nach USA

Artikel14 bis 60 Werktage7 bis 15 Werktage
Erster ArtikelEUR 30,00EUR 65,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Rechnung
  • Vorauskasse

Shopbeschreibung

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.

Spezialisierung

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

Verbandsmitglied

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Kloof Booksellers & Scientia Verlag

Niederlande