Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 9783540613770
Price: 50.18 EUR
Availability: InStock

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Autor: Hans Kleine Buening

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.18 €

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference...

Informácie o knihe

Autor

Hans Kleine Buening

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1996

Stránok

492

EAN

9783540613770

ISBN

3540613773

Enbook ID

05274587

Vydavateľ

Springer, Berlin

Hmotnosť

659

Rozmery

156 x 234 x 25

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Computer Science Logic

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Numerical Integration

Garden of Thorns: A novel of romantic suspense

Legal Practice in Ayr and the West of Scotland in the Fifteenth and Sixteenth Centuries: A Study in Economic History.

The Original Adventures of Hank the Cowdog

Things Good Girls Don't Do

Chicana and Chicano Art

Being Modern in Iran

Botanical Medicine in Clinical Practice

Augustine

Conversations with Erskine Caldwell

Handbook of Colorectal Surgery

Nietzsche: A Complete Introduction: Teach Yourself

Handbook of Neurochemistry and Molecular Neurobiology

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen

Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD

Asphalt Tribe

Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er)

besten und verrucktesten Kneipen-Namen

Wichtel Nick

Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil.

Erfolgreich verhandeln