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
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 aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
