Mohlo by sa vám tiež páčiť

Viac informácií o knihe Computer Science Logic

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 175 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Computer Science Logic
• Podnázov: 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
• Väzba: Brožovaná
• Počet strán: 402
• EAN: 9783540544876
• ISBN: 3540544879
• ID: 05274207
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 1280 g
• Rozmery: 233 × 155 × 23 mm
• Dátum vydania: 11. September 1991

---

---

---