Computer Science Logic

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

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

Автор: Hans Kleine Buening

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.68 € 103.02 лв

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

Информация за книгата

Автор

Hans Kleine Buening

Език

Английски език

Корици

Книга - С меки корици

Издадена

1996

страници

492

EAN

9783540613770

ISBN

3540613773

Enbook ID

05274587

Издател

Springer, Berlin

Теглоt

659

Размери

156 x 234 x 25

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Computer Science Logic

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

Информация за книгата

Пълно описание

Може също да ви хареса

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

Клиенти, които купиха тази книга, купиха също

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