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 118 bodů

Anotace knihy

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design

• Plný název: Computer Science Logic
• Podnázev: 9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers
• Autor: Hans Kleine Buening
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 492
• EAN: 9783540613770
• ISBN: 3540613773
• ID: 05274587
• Nakladatelství: Springer, Berlin
• Hmotnost: 659 g
• Rozměry: 234 × 156 × 25 mm
• Rok vydání: 1996

Oblíbené z jiného soudku

---

---

---