Cantitate/Preț
Produs

Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985: Lecture Notes in Computer Science, cartea 221

Editat de Eiiti Wada
en Limba Engleză Paperback – mai 1986

Din seria Lecture Notes in Computer Science

Preț: 31637 lei

Preț vechi: 39545 lei
-20% Nou

Puncte Express: 475

Preț estimativ în valută:
6058 6553$ 5048£

Carte tipărită la comandă

Livrare economică 11-25 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540164791
ISBN-10: 3540164790
Pagini: 328
Ilustrații: IX, 315 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1986
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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 andfacial pain: “Rhinos”.- Knowledge realization and transformation in KRISP.