Gesamtpreis (1 Artikel Artikel):
Versandziel:
computational logic (322 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (322)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (5)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (103)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
What Makes Us Smart: The Computational Logic of Human Cognition
Sprache: Englisch
Verlag: Princeton University Press (edition ), 2021
ISBN 10: 069120571X ISBN 13: 9780691205717
Paperback. Zustand: Fair. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way.
-
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications: v. 12 (Studies in Logic: Mathematical Logic and Foundations)
Sprache: Englisch
Verlag: College Publications 17 A, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 10,26
EUR 4,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications: v. 12 (Studies in Logic: Mathematical Logic and Foundations) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
Px: A Computational Logic (Foundations of Computing Series)
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications: v. 12 (Studies in Logic: Mathematical Logic and Foundations)
Sprache: Englisch
Verlag: College Publications 00/r /17 A, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 10,26
EUR 8,07 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
A Computational Logic Handbook (Perspectives in Computing)
Buch 3 von 7: Notes and reports in computer science and applied mathematicsAnbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Computational Logic. Symposium Proceedings, Brussels, November 1990.
Anbieter: Plurabelle Books Ltd, Cambridge, Vereinigtes Königreich
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
EUR 11,90
EUR 9,24 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: As New. Series: Basic Research 222p hardback, grey and blue cloth in clear plastic wrapper, like new condition, still in its original wrapper, excellent copy of uncommon publication Language: English.
-
Making Computational Sense of Montague's Intensional Logic Classic Reprint
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Sonderangebot
EUR 5,84
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1980. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1980. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Sonderangebot
EUR 5,84
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Making Computational Sense of Montague's Intensional Logic Classic Reprint
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 20,75
EUR 3,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Making Computational Sense of Montague's Intensional Logic Classic Reprint
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Making Computational Sense of Montague's Intensional Logic Classic Reprint
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 26,60
EUR 4,81 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993: Proceedings
Sprache: Englisch
Verlag: Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10: 3540571841 ISBN 13: 9783540571841
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 17,85
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. 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.
-
Beyond Classical Logic: Philosophical and Computational Investigations in Deductive Reasoning and Relevance
Sprache: Englisch
Verlag: Sankt Augustin : Academia, 1999
ISBN 10: 3896650947 ISBN 13: 9783896650948
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
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.
-
Applications of Fuzzy Logic in Bioinformatics. (=Series on Advances in Bioinformatics and Computational Biology; Vol. 9).
Sprache: Englisch
Verlag: World Scientific Publ. & Co. Inc., 2008
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Wie neu. 225 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 710.
-
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 26,26
EUR 13,84 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computational Logic (NATO ASI Series F: Computer and Systems Sciences) (Volume 165)
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,52
EUR 15,72 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Fair. Volume 165. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9783540645894.
-
Computational Logic in Multi-Agent Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 33,11
EUR 7,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 312 Illus.
-
Computational logic : symposium proceedings Brussels, November 13. 14, 1990 / (ed.), ESPRIT basic research series
Sprache: Englisch
Verlag: Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona : Springer, 1990
ISBN 10: 3540534377 ISBN 13: 9783540534372
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Pp. Zustand: Sehr gut. IX, 211 S. : graph. Darst. , 25 cm Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand, Literaturangaben Sprache: Englisch Gewicht in Gramm: 550.
-
Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Studies in Logic Mathematical Logic and Foundations. Volume 12.
Anbieter: KULTur-Antiquariat, Boizenburg, MV, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
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 Sprache: Englisch Gewicht in Gramm: 520.
-
Making Computational Sense of Montague's Intensional Logic. By Jerry R. Hobbs and Stanley J. Rosenschein
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 29,91
EUR 13,84 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 31,02
EUR 13,84 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computational aspects of an order-sorted logic with term declarations.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
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.
-
PX: A Computational Logic (Foundations of Computing).
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
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 : ,
-
Computational Logic and Human Thinking: How to be Artificially Intelligent
Sprache: Englisch
Verlag: Cambridge University Press, Cambridge, 2011
ISBN 10: 0521123364 ISBN 13: 9780521123365
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 32,74
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. 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.
-
What Makes Us Smart: The Computational Logic of Human Cognition Paperback ? October 5, 2021
Sprache: Englisch
Verlag: Princeton University Press, 2021
ISBN 10: 069120571X ISBN 13: 9780691205717
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 40,76
EUR 7,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
-
Computational Logic In Multi-agent Systems: 7th International
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Computational Logic In Multi-agent Systems
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Fuzzy Logic And Computational Linguistics
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 30,45
EUR 7,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
Computational Logic and Human Thinking: How to be Artificially Intelligent
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 0521123364 ISBN 13: 9780521123365
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
