More search options
We are looking in more than 100 shops for your best offer - please wait…
- Shipping costs to Malawi (modify to GBR, AUS, NZL, IND, MOZ, AGO, NAM, KEN, KEN, TZA, TZA, GHA, ETH)
Create preset

All books for 9789401051316 - compare every offer

9789401051316 - Springer: Logic Programming New Frontiers - Book
1
Springer (?):

Logic Programming New Frontiers (2012) (?)

Delivery from: NetherlandsThis is a paperback bookNew book

ISBN: 9789401051316 (?) or 9401051313, in dutch, Springer, Paperback, New

Vermoedelijk 4-6 weken
bol.com
In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the sec- ond UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol.University in March 1990. This book contains 1... In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the sec- ond UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol.University in March 1990. This book contains 13 papers from that conference grouped under four head- ings: Theory supporting practice motivating theory In this first group of papers, difficulties experienced in practical application of Prolog and in debugging Prolog programs have motivated work on extensions to the language and its development environment. Program development advances are represented by two papers on debugging and one on a development methodology for CLP programs. On the theoret- ical side a Pure(r) logic language is proposed as well as extensions to make logic more effective for integrity checking in deductive databases. Applications The next group contains three papers. The first describers the use of Prolog to develop a Control Engineering workStation (CES). The second investigates the use of a logic programming based KBMS for developing a prototype Fi- nancial Management Information System. In the last it is shown how a subset of prolog can provide a vehicle for the animation of Discrete Mathematics.Taal: Engels;Afmetingen: 17x234x156 mm;Gewicht: 498,00 gram;Verschijningsdatum: november 2012;ISBN10: 9401051313;ISBN13: 9789401051316; Engelstalig | paperback | 2012
seller comment bol.com:
Nieuw, Vermoedelijk 4-6 weken
Platform order number Bol.com: 9200000011376918
Category: Studie & Management, Techniek & Technologie, Informatica
Data from 03/15/2017 14:04h
ISBN (alternative notations): 94-010-5131-3, 978-94-010-5131-6
9789401051316 - D.R. Brough: Logic Programming New Frontiers - Book
2
D.R. Brough (?):

Logic Programming New Frontiers (1992) (?)

Delivery from: United Kingdom of Great Britain and Northern IrelandBook is in english languageThis is a paperback bookNew book

ISBN: 9789401051316 (?) or 9401051313, in english, 324 pages, Springer, Paperback, New

37.24 (£ 32.50)¹(without obligation)
Usually dispatched within 1-2 business days, exclusief verzendkosten (indien geleverd)
From Seller/Antiquarian, ShineWood
This book contains a collection of papers from the second conference of the Association for Logic Programming. The work included contains original contributions from leading researchers on the theory, applications and implementations of logic programming. The range of topics includes: Framework for Principled Debugging of Prolog Programs A Model of OR-Parallel Prolog Execution Using Graph Reduction Applications of Constraint Logic Programming Control Engineering Applications in Prolog Event Abstraction Debuggers for Layered Systems to Prolog Extending the Integrity Maintenance Capability in Deductive Databases GAP: An Experiment in Model Oriented Programming In Search of More Parallelisms Logic, Language and the Quest for Intelligence Metalevel and Constraint Technology in a Pure Logic Language Reconciling Systems and Deductive Capacities in Knowledge-Based Systems using Logic Programming P Term-Encodable Description Systems Using Prolog to Animate Mathematics P This collection will be of interest to researchers in logic programming, Prolog programmers and computer scientists generally. paperback, Editie: Softcover reprint of the original 1st Ed. 1992, Label: Springer, Springer, Productgroep: Book, Gepubliceerd: 1992-01-31, Releasedatum: 1992-01-31, Studio: Springer
Platform order number Amazon.co.uk: eeB1SBh7al1PHs%2F4cd9rz3OYE5MN %2Fg9QARvWz6qIouwGTUzUjYT6eiiI o0rm9AEobIXrP9NQjvSb9zGXcHsx%2 BapaY47Od3A%2FXUlcJOKvlvVvMXaI By%2FZ1Obj3XBAvfu7hvT4BNgQR0yR ck7xOAO%2Bug%3D%3D
Keywords: Books, Computing & Internet, Computer Science, Artificial Intelligence, Programming, Algorithms, Compilers, Languages, Languages & Tools, Science & Nature, Engineering & Technology, Electronics & Communications Engineering, Robotics, Popular Science
Data from 03/15/2017 14:04h
ISBN (alternative notations): 94-010-5131-3, 978-94-010-5131-6

9789401051316

Find all available books for your ISBN number 9789401051316 compare prices fast and easily and order immediatly.

Available rare books, used books and second hand books of the title "Logic Programming New Frontiers" from D.R. Brough are completely listed.

Books nearby

>> to Archive