Kniha Computer Science Logic Zoltán Ésik

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Autor: Zoltán Ésik
Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
99.90
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2006
Stránok
627
EAN
9783540454588
ISBN
3540454586
Enbook ID
01564793
Hmotnosť
961
Rozmery
155 x 235 x 35

Kompletný popis

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Mohlo by vás zaujímať

For Sinners Only

A J Russell
15.30
15.30
33.56

Mecca

F. E. Peters
77.23

Craven Street

Yuri Rasovsky
11.67
15.69

Islam

Lovat
28.06

Liber Costumarum

Christopher Markham
15.59
19.52

Chora 5

Alberto Perez-Gomez
42.09

Questions about God

Steven M. Cahn
95.19
115.11
49.45

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

Mapa Oceanía físico

edigol ediciones
15.40

Microsoft Office 365

Karel Klatovský
9.66

Insolvenzrecht

Michael App
50.24

Gangland

Chuck Hogan
29.14
32.28
21.19

Un árbol caído

Rafael Reig
10.88
13.69