ISBN10: 3540164928, ISBN13: 9783540164920, [publisher: Springer] Softcover Very Good
[Redhill, SURRE, United Kingdom] [Publication Year: 1986]

Berlin, Heidelberg Springer 1986 1986 ed. Trade paperback New. Trade paperback (US). Glued binding. 723 p. Lecture Notes in Computer Science, 225.

ISBN10: 3540164928, ISBN13: 9783540164920, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - The role of logic programming in the Fifth Generation Computer Project.- An abstract machine for restricted AND-parallel execution of logic programs.- Efficient management of backtracking in AND-Parallelism.- An intelligent backtracking algorithm for parallel execution of logic programs.- Delta Prolog: A distributed backtracking extension with events.- OLD resolution with tabulation.- Logic programs and alternation.- Intractable unifiability problems and backtracking.- On the complexity of unification sequences.- How to invent a Prolog machine.- A sequential implementation of Parlog.- A GHC abstract machine and instruction set.- A Prolog processor based on a pattern matching memory device.- An improved version of Shapiro's model inference system.- A framework for ICAI systems based on inductive inference and logic programming.- Rational debugging in logic programming.- Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning.- Some issues and trends in the semantics of logic programming.- Parallel logic programming languages.- P-Prolog: A parallel logic language based on exclusive relation.- Making exhaustive search programs deterministic.- Compiling OR-parallelism into AND-parallelism.- Shared memory execution of committed-choice languages.- Logic program ...
Show/Hide image

ISBN10: 3540164928, ISBN13: 9783540164920, [publisher: Springer] Softcover
[Dallas, TX, U.S.A.] [Publication Year: 1986]

Springer 1986 1986 ed. paperback Good Access codes and supplements are not guaranteed with used items. May be an ex-library book.

Springer 1986 Paperback Fair 1986-06-01. Springer. Paperback. ACCEPTABLE Edgewear. Rubbed. Previous owners name.

ISBN10: 3540164928, ISBN13: 9783540164920, [publisher: Berlin Springer] Softcover 720 S, Kanten berieben / bestossen, papierbedingte Seitenbräunung /// Standort Wimregal GUL-0570 ISBN 3540164928 Sprache: Englisch Gewicht in Gramm: 1020
[Dortmund, NRW, Germany] [Publication Year: 1986]
Show/Hide image

ISBN10: 3540164928, ISBN13: 9783540164920, [publisher: Springer] Softcover Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
[Dallas, TX, U.S.A.] [Publication Year: 1986]

Springer, Date: 1986-07-17. Paperback. Very Good. 6x1x9. 0387164926 Ex-library paperback in very nice condition with the usual markings and attachments. 1986. Springer ISBN 3540164928 9783540164920 [US]

ISBN10: 3540164928, ISBN13: 9783540164920, [publisher: Springer Berlin Heidelberg] Softcover 720 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1014
[Rüsselsheim am Main, Germany] [Publication Year: 1986]
Show/Hide image

ISBN10: 3540164928, ISBN13: 9783540164920, [publisher: Springer] Softcover 1986-06-01. Springer. Paperback. ACCEPTABLE Edgewear. Rubbed. Previous owners name.
[Cambridge, GLOUC, United Kingdom] [Publication Year: 1986]