Verwandte Artikel zu Extensions of Logic Programming: Second International...

Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings - Softcover

 
9783662197608: Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Softcover
ISBN 10: 366219760X ISBN 13: 9783662197608
Verlag: Springer, 2014

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Methodology and programming techniques in GCLA II.- Extended logic-plus-functional Programming.- Open logic theories.- A finitary version of the calculus of partial inductive definitions.- A logic programming approach to implementing higher-Order term rewriting.- An overview of the Andorra Kernel Language.- Logical and computational invariants of programs.- Implementing ?-calculus reduction strategies in extended logic programming languages.- Terminological reasoning and partial inductive definitions.- GCLA II A definitional approach to control.- Natural semantics and some of its meta-theory in Elf.- The near-Horn approach to disjunctive logic programming.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2014
  • ISBN 10 366219760X
  • ISBN 13 9783662197608
  • EinbandPaperback
  • SpracheEnglisch
  • Kontakt zum HerstellerNicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783540554981: Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings: 596 (Lecture Notes in Artificial Intelligence)

Vorgestellte Ausgabe

ISBN 10:  354055498X ISBN 13:  9783540554981
Verlag: Springer, 2008
Softcover