Logic Programming Classified Bibliography (4 results)
- Softcover
- First Edition
Seller: Renaissance Books, ANZAAB / ILAB, Dunedin, New ZealandRenaissance Books, ANZAAB / ILAB
Contact seller5-star sellerCondition: Used - Good
£ 45.81
£ 25.95 shippingShips from New Zealand to U.S.A.Quantity: 1 available
Softcover. Condition: Good. No Dust Jacket. First Edition. Ex-library. Library stamps and markings.; [xiv], 360 pages. Softcover. Page dimensions: 214 x 147mm. "Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devote…d entirely to Logic Programming began to appear [. . .] Logic Programming, however, has its roots in Automated Theorem Proving and via the expanding area of expert systems, strongly influences researchers in such varied fields as Civil Engineering, Chemistry, Law [. . .] One cannot overestimate the importance of such a bibliograpy." - from the Foreword by Jean-Louis, Lassez. ; Ex-Library; 8vo.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 96.88
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 100.91
£ 53.76 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work… done during this first crucial decade in Marseilles, Edinburgh, London, Budapest and Stockholm (to name a few) is often overlooked or difficult to trace. There are now two main regular conferences on Logic Programming, and at least five journals: The Journal of Logic Programming, New Generation Computing, Automated Reasoning, The Journal of SJmbolic Computation, and Future Generation Computer Systems. Logic Programming, however, has its roots in Automated Theorem Proving and via the expanding area of expert systems, strongly influences researchers in such varied fields as Civil Engineering, Chemistry, Law, etc. Consequently, many papers related to Logic Programming appear in a wide variety of journals and proceedings of conferences in other disciplines. This is particularly true of Computer Science where a revolution is taking place in hardware design, programming languages, and more recently databases. One cannot overestimate the importance of such a bibliography.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 84.44
£ 59.97 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Logic Programming | A Classified Bibliography | I. Balbin (u. a.) | Taschenbuch | 360 S. | Englisch | 1985 | Springer | EAN 9780908069156 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print o…n Demand.
