Produktnummer:
182f9197514e774759ad8025dbe0e9bc9c
| Themengebiete: | Constraint Logic Programming Logic Programming algebraic programming algebraisches Programmieren higher-order programming höherstufiges Programmieren logic programming proving term rewri |
|---|---|
| Veröffentlichungsdatum: | 24.08.1994 |
| EAN: | 9783540584315 |
| Sprache: | Englisch |
| Seitenzahl: | 314 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Levi, Giorgio Rodriguez-Artalejo, Mario |
| Verlag: | Springer Berlin |
| Untertitel: | 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings |
Produktinformationen "Algebraic and Logic Programming"
This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen