Mohlo by se vám také líbit

Více informací o knize Computer Science Logic

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

The workshop Computer Science Logic '90 was held at theMax-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 reviewprocedure from the 35 papers presented at the workshop, someof 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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Computer Science Logic
• Podnázev: 4th Workshop on Computer Science Logic, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
• Autor: Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 402
• EAN: 9783540544876
• ISBN: 3540544879
• ID: 05274207
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 1280 g
• Rozměry: 233 × 155 × 23 mm
• Datum vydání: 11. September 1991

---

---

---