- 3 Ergebnisse
Kleinster Preis: € 67,82, größter Preis: € 67,82, Mittelwert: € 67,82
1
Extensions of Logic Programming - Roy Dyckhoff
Bestellen
bei Springer.com
€ 67,82
Bestellen
Details und Versand
gesponserter Link
Roy Dyckhoff:

Extensions of Logic Programming - neues Buch

ISBN: 9783540484172

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Extensions of Logic Programming - Roy Dyckhoff
Bestellen
bei Springer.com
€ 67,82
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Roy Dyckhoff:

Extensions of Logic Programming - neues Buch

ISBN: 9783540484172

Computer Science; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); Programming Techniques; Mathematical Logic and Formal Languages Extensi… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
3
Extensions of Logic Programming - Roy Dyckhoff
Bestellen
bei Springer.com
€ 67,82
Bestellen
Details und Versand
gesponserter Link
Roy Dyckhoff:
Extensions of Logic Programming - neues Buch

ISBN: 9783540484172

Computer Science; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); Programming Techniques; Mathematical Logic and Formal Languages Extensi… 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:

9783540484172

Detailangaben zum Buch - Extensions of Logic Programming


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

Buch in der Datenbank seit 2017-02-04T22:44:23+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-11-01T01:07:18+01:00 (Berlin)
ISBN/EAN: 9783540484172

ISBN - alternative Schreibweisen:
978-3-540-48417-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: dyckhoff
Titel des Buches: logic programming

Daten vom Verlag:

Autor/in: Roy Dyckhoff
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Extensions of Logic Programming - 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings
Verlag: Springer; Springer Berlin
368 Seiten
Erscheinungsjahr: 2005-06-29
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 368 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Extension; Prolog; knowledge; knowledge representation; logic; programming; proof theory; C; Software Engineering; Artificial Intelligence; Programming Techniques; Formal Languages and Automata Theory; Computer Science; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; BC

Design for AKL with intelligent pruning.- Contradiction: When avoidance equals removal Part I.- Birkhoff's HSP-theorem for cumulative logic programs.- Finite domains and exclusions as first-class citizens.- Some experimental results in implementing a logic language with multi-head clauses on a Transputer architecture.- A language with finite sets embedded in the CLP-scheme.- Finitary partial inductive definitions as a general logic.- Programming methodologies in GCLA.- Computing cost estimates for proof strategies.- Logic programming with multiple context management schemes.- Non-procedural logic programming.- Axioms in definitional calculi.- A proposal for modules in ?Prolog.- Regular search spaces as a foundation of logic programming.- Answer sets and nonmonotonic S4.- Contradiction: When avoidance equals removal Part II.- Cut formulae and logic programming.- Higher-order aspects of logic programming.- Representation and inference with consistent temporal propositions.- Definitional reflection and the completion.- Linear logic semantics for Concurrent Prolog.
< zum Archiv...