Titel
Computational aspects of an order-sorted logic with term declarations.
Schrijver
Schmidt-Schauss, Manfred.
ISBN
9783540517054
Uitgever
Berlin & New York : Springer-Verlag, 1989. Paperback. viii, 171 pp. Library stamp. (Lecture notes in artificial intelligence 395). Conditie: goed
Prijs
€ 12,95
Bijzonderheden
Conditie: goed. COMPUTER SCIENCE
Meer info
- 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.
Kloof Antiquariaat
Amsterdam 
ALLEEN VERZENDING MOGELIJK - Mailorder only.
- Alle boeken zijn compleet en verkeren in normale antiquarische staat, tenzij anders beschreven. Kleine onvolkomenheden, zoals een ingeplakte ex-libris of een naam op het schutblad, zijn niet altijd vermeld
- U handelt deze order direct af met Kloof Antiquariaat
- Na uw bestelling ontvangen u en Kloof Antiquariaat een bevestiging per e-mail. In de e-mail staan de naam, adres, woonplaats en telefoonnummer van Kloof Antiquariaat vermeld
- De Koper betaalt de verzendkosten, tenzij anders overeen gekomen
- Kloof Antiquariaat kan betaling vooraf vragen
- Boekwinkeltjes.nl probeert Kopers en Verkopers tot elkaar te brengen. Boekwinkeltjes.nl is echter nimmer partij bij een overeenkomst die gesloten wordt tussen Koper en Verkoper door gebruikmaking van de site. Als u een geschil hebt met één of meer gebruikers, dient u dit zelf op te lossen. U vrijwaart Boekwinkeltjes.nl van enigerlei vorderingen, aanspraken op schadevergoeding en dergelijke, verband houdende met dergelijke geschillen.