Items related to Logic Programming '85: Proceedings of the 4th Conference...
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985: 221 (Lecture Notes in Computer Science, 221) - Softcover
Synopsis
No Logic Programming 1985 Read a customer review or write one .
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1986
- ISBN 10 3540164790
- ISBN 13 9783540164791
- BindingPaperback
- LanguageEnglish
- Number of pages324
- EditorWada Eiiti
Search results for Logic Programming '85: Proceedings of the 4th Conference...
Seller Image
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes in Computer Science, 221, Band 221)
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Softcover. 1986. 311 p. ATTENTION 1986 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540164791 Sprache: Englisch Gewicht in Gramm: 544. Seller Inventory # 224195
Quantity: 1 available
Stock Image
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes in Computer Science, 221)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540164791_new
Quantity: Over 20 available
Seller Image
Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
Published by
Springer Berlin Heidelberg, 1986
ISBN 10: 3540164790
ISBN 13: 9783540164791
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine PARK: Its hardware structure and prolog system.- Heuristics applied in tree manipulation algorithm synthesis.- Analogical reasoning using transformations of rules.- Synchronization and communication in the ¿subject¿.- Zero : Frame + prolog.- PRESET ¿ A debugging environment for Prolog.- Proedit ¿ a screen oriented Prolog programming environment.- Software prototyping with MENDEL.- Retrieval of software module functions using first-order predicate logical formulae.- Temporal logic programming language Tokio programming in Tokio.- Implementation of temporal logic programming language Tokio.- Heuristic prolog: Logic program execution by heuristic search.- And-or queuing in Extended Concurrent Prolog.- Guarded horn clauses.- TDProlog: An extended Prolog with term description.- Design and evaluation of a Prolog compiler.- The program characteristics in logic programming language ESP.- Extended Prolog and its application to an integrated parser for text understanding.- A travel consultation system: Towards a smooth conversation in Japanese.- A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management.- Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis.- A parallel logic simulator based on Concurrent Prolog.- A method of representing processes in a constraint solver.- KRIP: A knowledge representation system for laws relating to industrial property.- Consultation system for diagnosis of headache and facial pain: ¿Rhinos¿.- Knowledge realization and transformation in KRISP. Seller Inventory # 9783540164791
Quantity: 1 available
Seller Image
Logic Programming 85
Published by
Springer Berlin Heidelberg, 1986
ISBN 10: 3540164790
ISBN 13: 9783540164791
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine . Seller Inventory # 4883061
Quantity: Over 20 available
Stock Image
Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540164791
Quantity: 10 available
Seller Image
Logic Programming '85
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1986, 1986
ISBN 10: 3540164790
ISBN 13: 9783540164791
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine PARK: Its hardware structure and prolog system.- Heuristics applied in tree manipulation algorithm synthesis.- Analogical reasoning using transformations of rules.- Synchronization and communication in the ¿subject¿.- Zero : Frame + prolog.- PRESET ¿ A debugging environment for Prolog.- Proedit ¿ a screen oriented Prolog programming environment.- Software prototyping with MENDEL.- Retrieval of software module functions using first-order predicate logical formulae.- Temporal logic programming language Tokio programming in Tokio.- Implementation of temporal logic programming language Tokio.- Heuristic prolog: Logic program execution by heuristic search.- And-or queuing in Extended Concurrent Prolog.- Guarded horn clauses.- TDProlog: An extended Prolog with term description.- Design and evaluation of a Prolog compiler.- The program characteristics in logic programming language ESP.- Extended Prolog and its application to an integrated parser for text understanding.- A travel consultation system: Towards a smooth conversation in Japanese.- A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management.- Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis.- A parallel logic simulator based on Concurrent Prolog.- A method of representing processes in a constraint solver.- KRIP: A knowledge representation system for laws relating to industrial property.- Consultation system for diagnosis of headache and facial pain: ¿Rhinos¿.- Knowledge realization and transformation in KRISP.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch. Seller Inventory # 9783540164791
Quantity: 1 available
Seller Image
Logic Programming '85
Published by
Springer Berlin Heidelberg Mai 1986, 1986
ISBN 10: 3540164790
ISBN 13: 9783540164791
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine PARK: Its hardware structure and prolog system.- Heuristics applied in tree manipulation algorithm synthesis.- Analogical reasoning using transformations of rules.- Synchronization and communication in the ¿subject¿.- Zero : Frame + prolog.- PRESET ¿ A debugging environment for Prolog.- Proedit ¿ a screen oriented Prolog programming environment.- Software prototyping with MENDEL.- Retrieval of software module functions using first-order predicate logical formulae.- Temporal logic programming language Tokio programming in Tokio.- Implementation of temporal logic programming language Tokio.- Heuristic prolog: Logic program execution by heuristic search.- And-or queuing in Extended Concurrent Prolog.- Guarded horn clauses.- TDProlog: An extended Prolog with term description.- Design and evaluation of a Prolog compiler.- The program characteristics in logic programming language ESP.- Extended Prolog and its application to an integrated parser for text understanding.- A travel consultation system: Towards a smooth conversation in Japanese.- A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management.- Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis.- A parallel logic simulator based on Concurrent Prolog.- A method of representing processes in a constraint solver.- KRIP: A knowledge representation system for laws relating to industrial property.- Consultation system for diagnosis of headache and facial pain: ¿Rhinos¿.- Knowledge realization and transformation in KRISP. 328 pp. Englisch. Seller Inventory # 9783540164791
Quantity: 2 available
Stock Image
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 0387164790 Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # DA1412435
Quantity: 1 available
Stock Image
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes in Computer Science, 221)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020161040
Quantity: Over 20 available