Computational logic (318 Ergebnisse)
Sprache: Englisch
Verlag: Academic Pr, 1988
Serie: Notes and reports in computer science and applied mathematics, Buch 3 von 7. Buch 3 von 7 - Notes and reports in computer science and applied mathematics
- Hardcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 21,04
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes KönigreichWeBuyBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 14,68
EUR 7,53 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 23,38
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 25,14
Versand nach gratisVersand innerhalb von USAAnzahl: 15 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 24,59
EUR 3,84 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer-Verlag, Berlin, Heidelberg, New York, 1993
- Softcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes KönigreichPsychoBabel & Skoob Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 18,03
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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.
- Hardcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 34,09
Versand nach gratisVersand innerhalb von USAAnzahl: 15 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Weitere Bilder- Softcover
- Erstausgabe
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 24,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
- Hardcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 33,02
EUR 4,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, DeutschlandAntiquariat Thomas Haker GmbH & Co. KG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht
EUR 17,30
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. 225 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 710.
Sprache: Englisch
Verlag: Springer, 2000
Serie: Lecture Notes in Computer Science, Buch 5 von 58. Buch 5 von 58 - Lecture Notes in Computer Science
- Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 36,53
EUR 3,93 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 26,69
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 24,77
EUR 15,87 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: 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:978354064…5894.
- Softcover
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes KönigreichWorldofBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 34,87
EUR 6,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 33,88
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 312 Illus.
- Softcover
- Erstausgabe
Anbieter: KULTur-Antiquariat, Boizenburg, MV, DeutschlandKULTur-Antiquariat
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 24,80
EUR 17,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 Gra…mm: 520.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 30,42
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 31,54
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, NiederlandeKloof Booksellers & Scientia Verlag
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 15,95
EUR 30,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
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.
- Hardcover
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, NiederlandeKloof Booksellers & Scientia Verlag
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 15,95
EUR 30,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
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 s…tudy 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 : .
- Softcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes KönigreichPsychoBabel & Skoob Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 33,07
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,65
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2000
Serie: Lecture Notes in Computer Science, Buch 5 von 58. Buch 5 von 58 - Lecture Notes in Computer Science
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 50,52
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
Sprache: Englisch
Verlag: Academic Press Inc, 1997
Serie: Notes and reports in computer science and applied mathematics, Buch 3 von 7. Buch 3 von 7 - Notes and reports in computer science and applied mathematics
- Hardcover
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes KönigreichWeBuyBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 40,42
EUR 9,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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.
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 30,95
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 42,61
EUR 9,18 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. 2022. Paperback. . . . . . Books ship from the US and Ireland.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 45,03
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: New.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 46,85
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 332.
Sprache: Englisch
Verlag: Springer, 2018
Serie: Studies in Computational Intelligence, Buch 267 von 538. Buch 267 von 538 - Studies in Computational Intelligence
- Hardcover
- Erstausgabe
Anbieter: Homeless Books, Berlin, DeutschlandHomeless Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 33,00
EUR 19,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Wie neu. 1. Auflage. privately owned book. new from the publisher. remains wrapped in plastic. - This book comprises papers on diverse aspects of fuzzy logic, neural networks, and nature-inspired optimization meta-heuristics and their application in various areas such as intelligent control and robotics, patt…ern recognition, medical diagnosis, time series prediction and optimization of complex problems. The book is organized into seven main parts, each with a collection of papers on a similar subject. The first part presents new concepts and algorithms based on type-2 fuzzy logic for dynamic parameter adaptation in meta-heuristics. The second part discusses network theory and applications, and includes papers describing applications of neural networks in diverse areas, such as time series prediction and pattern recognition. The third part addresses the theory and practice of meta-heuristics in different areas of application, while the fourth part describes diverse fuzzy logic applications in the control area, which can be considered as intelligent controllers. The next two parts explore applications in areas, such as time series prediction, and pattern recognition and new optimization and evolutionary algorithms and their applications respectively. Lastly, the seventh part addresses the design and application of different hybrid intelligent systems. 560 pp. Englisch.
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 49,15
EUR 6,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
