Computational Logic
Robert S. Boyer et J. Strother Moore
ISBN 10: 0121229505 ISBN 13: 9780121229504
Verlag: Academic Press Inc, 1980
Gebraucht
Hardcover
Verkäufer
Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 29. August 2016
Dieses Exemplar ist nicht mehr verfügbar. Hier sind die ähnlichsten Treffer für Computational Logic.
Beschreibung
Beschreibung:
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. Bestandsnummer des Verkäufers F-934-112
Bibliografische Details
Titel: Computational Logic
Verlag: Academic Press Inc
Erscheinungsdatum: 1980
Einband: Hardcover
Zustand: Bon
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Computational Logic - CL 2000 : First International Conference London, UK, July 24-28, 2000 Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 1428 | Sprache: Englisch | Produktart: Bücher | These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. Artikel-Nr. 18647/1
Gebraucht kaufen
EUR 7,83
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Computational Logic. Symposium Proceedings, Brussels, November 1990.
Anbieter: Plurabelle Books Ltd, Cambridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. 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. Artikel-Nr. 202487
Gebraucht kaufen
EUR 11,93
EUR 9,26 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Applications of Fuzzy Logic in Bioinformatics. (=Series on Advances in Bioinformatics and Computational Biology; Vol. 9).
Verlag:
World Scientific Publ. & Co. Inc., 2008
ISBN 10: 1848162588
ISBN 13: 9781848162587
Gebraucht
Hardcover
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Wie neu. 225 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 710. Artikel-Nr. 815903
Gebraucht kaufen
EUR 13,84
EUR 20,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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 : , Artikel-Nr. 263680
Gebraucht kaufen
EUR 15,95
EUR 30,00 Versand
Versand von Niederlande nach USA
Versand von Niederlande nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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. Artikel-Nr. 304100
Gebraucht kaufen
EUR 15,95
EUR 30,00 Versand
Versand von Niederlande nach USA
Versand von Niederlande nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Fuzzy Sets and Fuzzy Logic: The Foundations of Application ? from a Mathematical Point of View (Computational Intelligence)
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Seiten: 224 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Artikel-Nr. 37408190/203
Gebraucht kaufen
EUR 16,00
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Fuzzy Sets and Fuzzy Logic: The Foundations of Application ? from a Mathematical Point of View (Computational Intelligence)
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 224 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Artikel-Nr. 37408190/202
Gebraucht kaufen
EUR 16,48
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Fuzzy Sets and Fuzzy Logic: The Foundations of Application ? from a Mathematical Point of View (Computational Intelligence)
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 224 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Artikel-Nr. 37408190/2
Gebraucht kaufen
EUR 16,48
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Computational logic : symposium proceedings Brussels, November 13. 14, 1990 / (ed.), ESPRIT basic research series
Verlag:
Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona : Springer, 1990
ISBN 10: 3540534377
ISBN 13: 9783540534372
Gebraucht
Hardcover
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. Artikel-Nr. 182912
Gebraucht kaufen
EUR 17,16
EUR 24,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993: Proceedings
Verlag:
Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10: 3540571841
ISBN 13: 9783540571841
Gebraucht
Paperback
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. 484869
Gebraucht kaufen
EUR 17,89
EUR 14,47 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar