- 5 Ergebnisse
Kleinster Preis: € 51,98, größter Preis: € 92,99, Mittelwert: € 62,76
1
Extensions of Logic Programming : Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings - Paola Mello
Bestellen
bei ZVAB.com
€ 58,10
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Paola Mello:

Extensions of Logic Programming : Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings - Taschenbuch

1993, ISBN: 3540564543

[EAN: 9783540564546], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; CONSTRAINT; EXTENSION; NATURAL; TURING; ABDUCTIVEREASONING; ART… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 660, Band 660) - Mello, Paola, Lamma, Evelina
Bestellen
bei Amazon.de (Intern. Bücher)
€ 51,98
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Mello, Paola, Lamma, Evelina:

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 660, Band 660) - Taschenbuch

2008, ISBN: 9783540564546

Springer, Taschenbuch, Auflage: 1993, 436 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 6902927, 1.34 kg, Informatik, IT-Ausbildung & -Berufe, Computer & … Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
3
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 660, Band 660) - Mello, Paola, Lamma, Evelina
Bestellen
bei Amazon.de (Intern. Bücher)
€ 57,23
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Mello, Paola, Lamma, Evelina:
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 660, Band 660) - Taschenbuch

2008

ISBN: 9783540564546

Springer, Taschenbuch, Auflage: 1993, 436 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 6902927, 1.34 kg, Informatik, IT-Ausbildung & -Berufe, Computer & … Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
4
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 660, Band 660) - Mello, Paola, Lamma, Evelina
Bestellen
bei Amazon.de (Intern. Bücher)
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Mello, Paola, Lamma, Evelina:
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 660, Band 660) - Taschenbuch

2008, ISBN: 9783540564546

Springer, Taschenbuch, Auflage: 1993, 436 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 6902927, 1.34 kg, Informatik, IT-Ausbildung & -Berufe, Computer & … Mehr…

Versandkosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
5
Extensions of Logic Programming - Evelina Lamma/ Paola Mello
Bestellen
bei Hugendubel.de
€ 92,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Evelina Lamma/ Paola Mello:
Extensions of Logic Programming - Taschenbuch

ISBN: 9783540564546

Extensions of Logic Programming ab 92.99 € als Taschenbuch: Third International Workshop ELP '92 Bologna Italy February 26-28 1992. Proceedings. Auflage 1993. Aus dem Bereich: Bücher, Rat… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 660, Band 660)
Autor:
Titel:
ISBN-Nummer:

9783540564546


This book contains papers which investigate how to extendlogic programming toward the artificial intelligence andsoftware engineering areas, covering both theoretical andpractical aspects. Some papers investigate topics such asabductive reasoning and negation. Some works discuss how toenhance the expressive power of logic programming byintroducing constraints, sets, and integration withfunctional programming. Other papers deal with thestructuring of knowledge into modules, taxonomies, andobjects, withthe aim of extending logic programming towardsoftware engineering applications. A section is devoted topapers concentrating on proof theory and inspired byGentzen-style sequent or natural deduction systems. Topicssuch as concurrency are considered to enhance the expressivepower of logic languages. Finally, some papers mainlyconcernimplementation techniques for some of these logicprogramming extensions.

Detailangaben zum Buch - Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 660, Band 660)


EAN (ISBN-13): 9783540564546
ISBN (ISBN-10): 3540564543
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1993
Herausgeber: Springer
436 Seiten
Gewicht: 0,655 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-05T11:55:48+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-18T18:44:38+02:00 (Zurich)
ISBN/EAN: 9783540564546

ISBN - alternative Schreibweisen:
3-540-56454-3, 978-3-540-56454-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: lamma, mello, paola
Titel des Buches: proceedings international workshop, bologna, lammas, logic programming, international graphics, focus italy, mello, extensions, the art computer programming, lamma, logic computer science, lecture notes artificial intelligence, science 1992, international 1993 1998, englisch international, february

Daten vom Verlag:

Autor/in: Evelina Lamma; Paola Mello
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Extensions of Logic Programming - Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
Verlag: Springer; Springer Berlin
426 Seiten
Erscheinungsjahr: 1993-02-12
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 426 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Constraint; Extension; Natural; Turing; abductive reasoning; artificial intelligence; functional programming; intelligence; knowledge; logic; programming; proof theory; software engineering; Software Engineering; Compilers and Interpreters; Artificial Intelligence; Programming Techniques; Compiler und Übersetzer; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; EA

SLWV — A theorem prover for logic programming.- A Correct goal-directed proof procedure for a general logic program with integrity constraints.- Declarative semantics of hypothetical logic programming with negation as failure.- Conditional narrowing with constructive negation.- CLP $$(\\mathcal{A}\\mathcal{D})$$ as a deductive database language with updates.- Logic programming with functions over order-sorted feature terms.- A direct semantic characterization of RELFUN.- Embedding finite sets in a logic programming language.- A modal framework for structured logic programs.- Metalogic for state oriented programming.- On the semantics of inheritance in logic programming: Compositionality and full abstraction.- The abstract scheme for concurrent programming.- The ?-calculus as a theory in linear logic: Preliminary results.- Natural deduction proof theory for logic programming.- A typed foundation for directional logic programming.- An architecture for Prolog extensions.- Techniques for implementing contexts in Logic Programming.- Implementing a notion of modules in the logic programming language ?Prolog.- Implementational issues in GCLA: A-sufficiency and the definiens operation.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540475620 Extensions of Logic Programming (Evelina Lamma; Paola Mello)

< zum Archiv...