Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic Programming '86 de Eiiti Wada

Logic Programming '86

Editat de Eiiti Wada
en Limba Engleză Paperback – 3 iun 1987
This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
Citește tot Restrânge

Preț: 31662 lei

Preț vechi: 39577 lei
-20%

Puncte Express: 475

Carte tipărită la comandă

Livrare economică 07-21 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540180241
ISBN-10: 3540180249
Pagini: 192
Ilustrații: VIII, 184 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Plan-based text generation in an on-line help system.- Inheritance hierarchy mechanism in prolog.- Kore : A hybrid knowledge programming environment for decision support based on a logic programming language.- Legal expert system — LES-2.- A prototype software simulator for FGHC.- A foundation of reasoning by analogy: Analogical union of logic programs.- Logic interface system on navigational database systems.- Programming in modal logic: An extension of PROLOG based on modal logic.- On parallel programming methodology in GHC.- An optimizing prolog compiler.- A prolog based object oriented language SPOOL and its compiler.- Development of C-Prolog compiler.- A framework for interactive problem solving based on interactive query revision.- Prolog computation model BPM and its debugger PROEDIT2.- Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting.- - Fleng Prolog - The language which turns supercomputers into parallel prolog machines.