Książka Computer Science Logic Hans Kleine Buening

Computer Science Logic

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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.95
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1996
strony
492
EAN
9783540613770
ISBN
3540613773
Enbook ID
05274587
Waga
659
Wymiary
156 x 234 x 25

Pełny opis

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.

Możesz być zainteresowany

384.13
35.91

Chicana and Chicano Art

Carlos Francisco Jackson
121.99

Being Modern in Iran

Fariba Adelkhah
170.88

Augustine

Gillian Clark
646.86
125.69
414.78

Klienci, którzy kupili tę książkę, kupili również

Asphalt Tribe

Morton Rhue
34.05

Wichtel Nick

Admar Kwant
43.42
121.50