Książka 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
Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
423.49
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2006
strony
627
EAN
9783540454588
ISBN
3540454586
Enbook ID
01564793
Waga
961
Wymiary
155 x 235 x 35

Pełny opis

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.

Możesz być zainteresowany

For Sinners Only

A J Russell
68.14
68.14
149.53

Mecca

F. E. Peters
327.30

Craven Street

Yuri Rasovsky
49.64
66.58

Islam

Lovat
118.76
1 613.68

Liber Costumarum

Christopher Markham
70.38
88.39

Chora 5

Alberto Perez-Gomez
178.25

Questions about God

Steven M. Cahn
384.94
487.85
219.34

Cosmic B1+ Test Book

Katerina Mestheneou
111.46

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

Mapa Oceanía físico

edigol ediciones
65.22

Microsoft Office 365

Karel Klatovský
42.63

Insolvenzrecht

Michael App
213.10

Gangland

Chuck Hogan
123.54
136.97
89.75

Un árbol caído

Rafael Reig
46.24
62.69