Computational logic (318 Ergebnisse)

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Zustand: Very Good. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 713. Minor shelfwear to the cover. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. Used.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

23 x 16 cm. Zustand: Gut. 1. Edition. 190 Seiten ; Mit Figuren und Tabellen conceptus-studien 13 - Innen mit wenigen Bleistiftanstreichungen, sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband sehr gut erhalten. In Englisch B14-03-06H|S43 Sprache: Englisch Gewicht in Gramm: 290.…

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Hardcover. Zustand: Wie neu. 225 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 710.

Zustand: Good. 1379 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Broschiert. Zustand: Gut. 1. Auflage.. 308 Seiten, Buch gut erhalten, Einband berieben. Ehemaliges Bibliotheksexemplar mit üblichen Stempelungen, Aufklebern und/oder Einträgen sowie foliertem Einband. Aufkleberreste auf der unteren Hälfte des Buches. Auf Titelei Namenseintrag. ISBN: 9781904987567 Der Versand ins Ausland ist gegen Zahlung der Portokosten möglich. Bitte nehmen Sie Kontakt mit uns auf. Sprache: Englisch Gewicht in Gramm: 520.…

Zustand: New. In English.

Zustand: New. pp. 312 Illus.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New. In English.

Zustand: very good. 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.…

Zustand: as new. Cambridge, MA: The MIT Press, 1988. Hardcover. 216 pp.- The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that programs can be extracted from constructive proofs, this study shows how it can be done in practice. The authors give a precise description of the formal theory of PX, its semantics, the mathematical foundation of program extraction using PX, and several methodologies and their theories of program extraction. They also describe an experimental implementation of PX. English text. Condition : as new. Condition : as new copy. ISBN 9780262081740. Keywords : .…

Paperback. Zustand: Very Good. Paperback in very good condition. Cover edges and corners are slightly bumped and rubbed. Covers are clean, binding is sound and content is as unread. LW.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Neuware - The concept of 'logic' underpins both human cognition and computational processes, yet the mechanisms, strengths, and inherent limitations of common day-to-day human logic and computer logic diverge significantly. While computers are engineered for formal, explicit operations, excelling in speed and precision, human logic is characterized by its remarkable adaptability, intuitive processing, and an innate capacity to navigate ambiguity. This report aims to delineate these core differences, provide illustrative examples, and explore the profound implications of these distinctions, particularly within the evolving landscape of Artificial Intelligence (AI) and Human-Computer Interaction (HCI). Understanding this fundamental divergence is crucial for advancing AI systems and fostering effective collaboration between human and machine intelligence. …

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New.

Zustand: New. 2022. Paperback. . . . . . Books ship from the US and Ireland.

Zustand: New.

hardcover. Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.…

Zustand: New.