Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 9783540408017
Price: 428.07 PLN
Availability: InStock

17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

Autor: Matthias Baaz, Johann M. Makowsky

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

428.07 zł

§This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer...

Informacje o książce

Autor

Matthias Baaz, Johann M. Makowsky

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2003

strony

596

EAN

9783540408017

ISBN

3540408010

Enbook ID

01562973

Wydawca

Springer, Berlin

Waga

844

Wymiary

155 x 235 x 31

Pełny opis

§This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.§The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.

Możesz być zainteresowany

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

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

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