Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
EUR 29,51
Quantité disponible : 15 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 27,68
Quantité disponible : 15 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Langue: anglais
Edité par Legare Street Press 2021-09, 2021
ISBN 10 : 1013580095 ISBN 13 : 9781013580093
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 18,13
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Edité par Causton & Sons, 1952
Vendeur : World of Rare Books, Goring-by-Sea, SXW, Royaume-Uni
EUR 19,04
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 1952. No Edition Remarks. 83 pages. No dust jacket. Green cloth covered boards with cream vellum to spine. Publisher's compliment slip inserted to front free endpaper. Black and white photographic plates throughout. Pages and plates have light tanning and foxing throughout. Binding remains firm. Boards have light shelf-wear with corner bumping. Light tanning to spine and edges.
Edité par Gay & Bird - Mawson, Swan, & Morgan, 1897
Vendeur : World of Rare Books, Goring-by-Sea, SXW, Royaume-Uni
EUR 24,22
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Fair. 1897. No Edition Remarks. 408 pages. No dust jacket. This is an ex-Library book. Green cloth. Library copy, with expected inserts, stamps and inscriptions. Pages are lightly tanned throughout. Slight cracking to hinges and gutters causing binding to be loose, however pages remain attached. Boards have light shelf-wear with corner bumping. Light tanning to spine and edges with crushing to spine ends.
Edité par Tom Veilleux, 1970
Vendeur : Oddball Books, Burbank, CA, Etats-Unis
Edition originale
EUR 36,01
Quantité disponible : 1 disponible(s)
Ajouter au panierMagazine. Etat : Very Good. 1st Edition. The cover has some creases and surface wear along the spine.
Vendeur : Forgotten Books, London, Royaume-Uni
EUR 18,65
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New. Print on Demand. This book explores the intricacies of English grammar, offering a fresh and nuanced examination of its fundamental elements. It delves into the historical roots of the language, tracing the evolution and interrelationships of words, phrases, and sentences. Through a comprehensive framework of analytic elements, the author unveils the underlying structure of speech, shedding light on the dynamic interplay between nouns, verbs, adjectives, and adverbs. By examining the classication of verbs and the development of the copula, the book uncovers the subtle distinctions between the active and passive forms of expression, and the evolution of language as a tool for conveying complex ideas. Ultimately, this book not only provides a comprehensive understanding of English grammar but also offers a profound insight into the evolution of human thought and communication. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
Langue: anglais
Edité par Creative Media Partners, LLC Sep 2021, 2021
ISBN 10 : 1013580095 ISBN 13 : 9781013580093
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 30,45
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface.We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Langue: anglais
Edité par Creative Media Partners, LLC Sep 2021, 2021
ISBN 10 : 1013330374 ISBN 13 : 9781013330377
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 47,56
Quantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware - This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface.We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 116,46
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 118,85
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 117,33
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 117,33
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 117,32
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Creative Media Partners, LLC, 2021
ISBN 10 : 1013580095 ISBN 13 : 9781013580093
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
EUR 25
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Vendeur : Buchmarie, Darmstadt, Allemagne
EUR 99
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Cover leicht verschmutzt. Buchschnitt leicht verschmutzt. Ehemaliges Bibliotheksexemplar. Mit Bibliotheksstempel und Aufkleber am Buchrücken. Als übereignet gekennzeichnet.
Langue: anglais
Edité par Springer Verlag, Berlin, 1983
ISBN 10 : 3540120432 ISBN 13 : 9783540120438
Vendeur : HJP VERSANDBUCHHANDLUNG, WEDEL, SH, Allemagne
Edition originale
EUR 137,50
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. 1st Edition. 2 VOL SET. Vol 1: Classical Papers on Computational Logic, 1957 - 1966.525 p; many Ill; ISBN 3-540-12043-2. Vol. 2: Classical Papers on Computational Logic, 1967 - 1970.637 p, many Ill; ISBN 3-540-12044-0. [SYMBOLIC COMPUTATION]. Higher postage because books will be shipped as parcel. Buch.
Langue: anglais
Edité par Springer Berlin Heidelberg, 2012
ISBN 10 : 3642819540 ISBN 13 : 9783642819544
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 106,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl' Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has come to examine and evaluate its history. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
Langue: anglais
Edité par Springer Berlin Heidelberg, 2012
ISBN 10 : 3642819575 ISBN 13 : 9783642819575
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 106,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Kind of crude, but it works, boy, it works!' AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has corne to examine and evaluate its history. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 159,36
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. reprint edition. 537 pages. 9.61x6.61x1.50 inches. In Stock.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 161,37
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. reprint edition. 649 pages. 9.60x6.70x1.50 inches. In Stock.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 168,34
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 197,40
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 187,72
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 221,68
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
EUR 199,90
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : gut. Automation of Reasoning: 2: Classical Papers on Computational Logic 19671970 (Symbolic Computation) In deutscher Sprache. pages.
Edité par Gay & Bird, London, 1897
Vendeur : Barter Books Ltd, Alnwick, NORTH, Royaume-Uni
Membre d'association : IOBA
Edition originale
EUR 71,21
Quantité disponible : 1 disponible(s)
Ajouter au panierBlue-grey hardback cloth cover. Etat : Good. First Edition. G: in Good condition without dust jacket. Some foxing. 190mm x 130mm (7" x 5"). 408pp.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 21,06
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
EUR 24,77
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Edité par Mirage Press, 1968
Vendeur : Nicholas J. Certo, Newburgh, NY, Etats-Unis
Edition originale Signé
EUR 180,07
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Fine. Etat de la jaquette : Fine. 1st Edition. Limited edition of 1500 copies this being #570 machine stamped in colophon. Dust wrapper art by Berni Wrightson (very early appearance by Berni, his second book jacket commission I believe) Signed on title page by De Camp; signed with breif personalization by Wrightson. Numerous spot illustrations by Krenkel. A fine fresh copy with modest rubbing to dust wrapper at spine ends. Inscribed by Illustrator(s).