Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 9783540613770
Price: 276.36 RON
Availability: InStock

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

Autor: Hans Kleine Buening

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.36 lei

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

Informații despre carte

Autor

Hans Kleine Buening

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1996

Pagini

492

EAN

9783540613770

ISBN

3540613773

Enbook ID

05274587

Editura

Springer, Berlin

Greutate

659

Dimensiuni

156 x 234 x 25

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Computer Science Logic

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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

Clienții care au cumpărat această carte au mai cumpărat și

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