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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
Amazon.de (Intern... Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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…
Amazon.de (Intern... |
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…
Amazon.de (Intern... |
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…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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…
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) - Taschenbuch2008, 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…
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…
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…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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)
- 9783540475620 Extensions of Logic Programming (Evelina Lamma; Paola Mello)
- 9783540471141 Extensions of Logic Programming (Lars-Henrik Eriksson; Lars Hallnäs; Peter Schroeder-Heister)
- 9783540484172 Extensions of Logic Programming (Roy Dyckhoff)
- 9783540468790 Extensions of Logic Programming (Peter Schroeder-Heister)
- 9780387580258 Extensions of Logic Programming: 4th International Workshop, Elp '93, st Andrews, U.K., March 29-April 1, 1993 : Proceedings (Roy Dyckhoff, Scotland) Elp 9 (1993 University of St. Andrews, Roy Dyckhoff)
- 9780387535906 Extensions of Logic Programming: International Workshop Tubingen Frg, December 8-10, 1989 Proceedings (Lecture Notes in Computer Science) (Editor-Peter Joseph Schroeder-Heister)
- Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science) by Heinrich Herre (2008-06-13) (Heinrich Herre;Peter Schroeder-Heister;Roy Dyckhoff)
< zum Archiv...