Produktnummer:
18b038baa400a54da7b06dd4456e544e44
| Themengebiete: | Artificial Intelligence Computational Complexity Formal Languages Formale Sprachen Komplexität Künstliche Intelligenz Logik Programmiersprachen Programming Languages computer |
|---|---|
| Veröffentlichungsdatum: | 11.09.1991 |
| EAN: | 9783540544876 |
| Sprache: | Englisch |
| Seitenzahl: | 402 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Börger, Egon Kleine Büning, Hans Richter, Michael M. Schönfeld, Wolfgang |
| Verlag: | Springer Berlin |
| Untertitel: | 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings |
Produktinformationen "Computer Science Logic"
The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.
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