Logic Programming '88 Lecture Notes in Artificial Intelligence 383
5 Angebote vergleichen
Bester Preis: € 18,07 (vom 11.11.2016)1
Symbolbild
Logic Programming '88 Lecture Notes in Artificial Intelligence 383
EN USISBN: 9780387515649 bzw. 038751564X, in Englisch, Springer, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei nach: USA.
Von Händler/Antiquariat, Better World Books.
Springer. Used - Acceptable. Former Library book. Shows definite wear, and perhaps considerable marking on inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
Von Händler/Antiquariat, Better World Books.
Springer. Used - Acceptable. Former Library book. Shows definite wear, and perhaps considerable marking on inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
2
Symbolbild
Logic Programming '88 Lecture Notes in Artificial Intelligence 383 (1989)
EN PB USISBN: 9780387515649 bzw. 038751564X, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, GuthrieBooks.
Springer, 1989-11-01. Paperback. Very Good. 354051564X Ex-library paperback in very nice condition with the usual markings and attachments.
Von Händler/Antiquariat, GuthrieBooks.
Springer, 1989-11-01. Paperback. Very Good. 354051564X Ex-library paperback in very nice condition with the usual markings and attachments.
3
Logic Programming '88 Lecture Notes in Artificial Intelligence 383 (1989)
EN PB US FEISBN: 9780387515649 bzw. 038751564X, Band: 315, in Englisch, 251 Seiten, Springer, Taschenbuch, gebraucht, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Better World Books: South.
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system. Paperback, Ausgabe: 1, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1989-11-01, Studio: Springer.
Von Händler/Antiquariat, Better World Books: South.
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system. Paperback, Ausgabe: 1, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1989-11-01, Studio: Springer.
4
Symbolbild
Logic Programming '88 Lecture Notes in Artificial Intelligence 383 (2008)
EN PB USISBN: 9780387515649 bzw. 038751564X, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Better World Books, IN, Mishawaka, [RE:4].
Trade paperback.
Von Händler/Antiquariat, Better World Books, IN, Mishawaka, [RE:4].
Trade paperback.
5
Symbolbild
Logic Programming '88 Lecture Notes in Artificial Intelligence 383 (1989)
EN PB USISBN: 9780387515649 bzw. 038751564X, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, GuthrieBooks, TX, Spring Branch, [RE:4].
Paperback.
Von Händler/Antiquariat, GuthrieBooks, TX, Spring Branch, [RE:4].
Paperback.
Lade…