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
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2006
Stránek
627
EAN
9783540454588
ISBN
3540454586
Enbook ID
01564793
Hmotnost
961
Rozměry
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 zajímat

For Sinners Only

A J Russell
370
371
812

Mecca

F. E. Peters
1 784

Craven Street

Yuri Rasovsky
283
380

Islam

Lovat
648

Liber Costumarum

Christopher Markham
376
473

Chora 5

Alberto Perez-Gomez
971

Questions about God

Steven M. Cahn
2 197
2 621
1 196

Zákaznicí kteří koupili tuto knihu koupili také

Mapa Oceanía físico

edigol ediciones
372

Microsoft Office 365

Karel Klatovský
258

Insolvenzrecht

Michael App
1 149

Gangland

Chuck Hogan
705
782

Un árbol caído

Rafael Reig
264