- 5 Ergebnisse
Kleinster Preis: € 0,90, größter Preis: € 53,49, Mittelwert: € 19,20
1
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence, No. 798) - Roy Dyckhoff
Bestellen
bei AbeBooks.com
$ 1,00
(ca. € 0,92)
Versand: € 4,501
Bestellen
Details beim Anbieter
gesponserter Link
Roy Dyckhoff:

Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence, No. 798) - Taschenbuch

1994, ISBN: 3540580255

[EAN: 9783540580256], Used, good, [PU: Springer], COMPUTER, *Price HAS BEEN REDUCED by 10% until Monday, Jan. 22 (weekend sale item)* 360 pp., paperback, ex library, else textually clean … Mehr…

NOT NEW BOOK. Versandkosten: EUR 4.50 Zubal-Books, Since 1961, Cleveland, OH, U.S.A. [581] [Rating: 5 (of 5)]
zuklappen (X)
2
Bestellen
bei Biblio.co.uk
$ 1,00
(ca. € 0,90)
Versand: € 19,791
Bestellen
Details beim Anbieter
gesponserter Link

Roy Dyckhoff:

Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence, No. 798) - Taschenbuch

1993, ISBN: 9783540580256

Springer, 1994. *Price HAS BEEN REDUCED by 10% until Tuesday, Jan. 2 (holiday sale item)* 360 pp., paperback, ex library, else textually clean and tight. - If you are reading this, thi… Mehr…

Versandkosten: EUR 19.79 Zubal Books
zuklappen (X)
3
Bestellen
bei Biblio.co.uk
$ 1,00
(ca. € 0,91)
Versand: € 19,931
Bestellen
Details beim Anbieter
gesponserter Link
Roy Dyckhoff:
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence, No. 798) - Taschenbuch

1993

ISBN: 9783540580256

Springer, 1994. 360 pp., paperback, ex library, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once or… Mehr…

Versandkosten: EUR 19.93 Zubal Books
zuklappen (X)
4
Extensions of Logic Programming - Roy Dyckhoff
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Roy Dyckhoff:
Extensions of Logic Programming - Taschenbuch

ISBN: 9783540580256

*Extensions of Logic Programming* - 4th International Workshop ELP '93 St Andrews U. K. March 29 - April 1 1993. Proceedings. Auflage 1994 / Taschenbuch für 53.49 € / Aus dem Bereich: Bü… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Extensions of Logic Programming 4th International Workshop, ELP `93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings - Dyckhoff, Roy
Bestellen
bei booklooker.de
€ 39,79
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Dyckhoff, Roy:
Extensions of Logic Programming 4th International Workshop, ELP `93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings - gebrauchtes Buch

1994, ISBN: 9783540580256

[PU: Springer Berlin], Gepflegter, sauberer Zustand. 273650/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 1994, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweis… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
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:

9783540580256


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 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.

Detailangaben zum Buch - Extensions of Logic Programming


EAN (ISBN-13): 9783540580256
ISBN (ISBN-10): 3540580255
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1994
Herausgeber: Springer Berlin Heidelberg
376 Seiten
Gewicht: 0,567 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-04T21:35:33+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-20T22:54:21+01:00 (Vienna)
ISBN/EAN: 9783540580256

ISBN - alternative Schreibweisen:
3-540-58025-5, 978-3-540-58025-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: dyckhoff, dyckhof
Titel des Buches: workshop 1993, proceedings international workshop, logic pro, logic programming, march, lecture notes artificial intelligence, extensions, international 1993 1998, lecture notes computer science, april, andrews

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: 1994-05-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 368 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Extension; Prolog; knowledge; knowledge representation; logic; programming; proof theory; Software Engineering; Artificial Intelligence; Programming Techniques; Formal Languages and Automata Theory; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA

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.

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

Neuestes ähnliches Buch:
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)

< zum Archiv...