Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 (Lecture Notes in Computer Science, 383)

ISBN 10: 354051564X ISBN 13: 9783540515647

Editorial: Springer, 1989

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Ria Christie Collections, Uxbridge, Reino Unido Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 25 de marzo de 2015

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

In. N� de ref. del art�culo ria9783540515647_new

Denunciar este art�culo

Sinopsis:

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.

Rese�a del editor: 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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Detalles bibliogr�ficos

T�tulo: Logic Programming '88: Proceedings of the ...
Editorial: Springer
A�o de publicaci�n: 1989
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen del vendedor

Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 (Lecture Notes in Computer Science (383), Band 383)

Tanaka, Hozumi, Tetsunosuke Fujisaki und Koichi Furukawa:

Publicado por Springer, 2008

ISBN 10: 354051564X ISBN 13: 9783540515647

Antiguo o usado Tapa blanda

Librería: Roland Antiquariat UG haftungsbeschr�nkt, Weinheim, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

1989. 268 Seiten Good condition. Reading pages are very clean and without marks. Minimum traces of storage or use. Otherwise good exemplar. 9783540515647 Sprache: Englisch Gewicht in Gramm: 567 Softcover, Gr��e: 15.5 x 1.5 x 23.5 cm. N� de ref. del art�culo: 215037

Contactar al vendedor

Comprar usado

EUR 28,90

EUR 14,95 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Logic Programming 88

Furukawa, Koichi|Tanaka, Hozumi|Fujisaki, Tetsunosuke

Publicado por Springer Berlin Heidelberg, 1989

ISBN 10: 354051564X ISBN 13: 9783540515647

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 2. N� de ref. del art�culo: 4892029

Contactar al vendedor

Comprar nuevo

EUR 48,37

EUR 48,99 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

M�s im�genes

Logic Programming '88 | Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988

Koichi Furukawa (u. a.)

Publicado por Springer, 1989

ISBN 10: 354051564X ISBN 13: 9783540515647

Nuevo Taschenbuch

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Comprar nuevo

EUR 50,35

EUR 70,00 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen de archivo

Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 (Lecture Notes in Computer Science, 383)

Publicado por Springer, 1989

ISBN 10: 354051564X ISBN 13: 9783540515647

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Mar3113020168915

Contactar al vendedor

Comprar nuevo

EUR 52,23

EUR 3,40 shipping
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988

Furukawa, Koichi; Tanaka, Hozumi; Fujisaki, Tetsunosuke

Publicado por Springer, 1989

ISBN 10: 354051564X ISBN 13: 9783540515647

Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: 5906450-n

Contactar al vendedor

Comprar nuevo

EUR 53,40

EUR 2,25 shipping
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Logic Programming '88

Koichi Furukawa

Publicado por Springer Berlin Heidelberg Sep 1989, 1989

ISBN 10: 354051564X ISBN 13: 9783540515647

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. N� de ref. del art�culo: 9783540515647

Contactar al vendedor

Comprar nuevo

EUR 53,49

EUR 60,00 shipping
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988

Koichi Furukawa

Publicado por Springer Berlin Heidelberg, 1989

ISBN 10: 354051564X ISBN 13: 9783540515647

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de ref. del art�culo: 9783540515647

Contactar al vendedor