- 3 Ergebnisse
Kleinster Preis: € 68,25, größter Preis: € 71,39, Mittelwert: € 70,34
1
Extensions of Logic Programming - Evelina Lamma; Paola Mello
Bestellen
bei Springer.com
£ 59,99
(ca. € 68,25)
Bestellen
Details und Versand
gesponserter Link
Evelina Lamma; Paola Mello:

Extensions of Logic Programming - neues Buch

ISBN: 9783540475620

This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspe… Mehr…

new in stock. Versandkosten:plus shipping costs., zzgl. Versandkosten
zuklappen (X)
2
Extensions of Logic Programming - Evelina Lamma; Paola Mello
Bestellen
bei Springer.com
€ 71,39
Bestellen
Details und Versand
gesponserter Link

Evelina Lamma; Paola Mello:

Extensions of Logic Programming - neues Buch

ISBN: 9783540475620

Computer Science; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics); Programming Techniques … Mehr…

  - Versandkosten:zzgl. Versandkosten
zuklappen (X)
3
Extensions of Logic Programming - Evelina Lamma; Paola Mello
Bestellen
bei Springer.com
€ 71,39
Bestellen
Details und Versand
gesponserter Link
Evelina Lamma; Paola Mello:
Extensions of Logic Programming - neues Buch

ISBN: 9783540475620

Computer Science; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics); Programming Techniques … Mehr…

  - Versandkosten:zzgl. Versandkosten.
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
Autor:
Titel:
ISBN-Nummer:

9783540475620

Detailangaben zum Buch - Extensions of Logic Programming


EAN (ISBN-13): 9783540475620
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-06-04T22:20:26+02:00 (Vienna)
Detailseite zuletzt geändert am 2021-10-13T16:48:30+02:00 (Vienna)
ISBN/EAN: 9783540475620

ISBN - alternative Schreibweisen:
978-3-540-47562-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: mello
Titel des Buches: logic programming

Daten vom Verlag:

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

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

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.
< zum Archiv...