Logic, Language, Information and Computation

Name: Logic, Language, Information and Computation
Brand: Springer, Berlin
SKU: 9783540734437
Price: 276.6 RON
Availability: InStock

14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings

Autor: Daniel Leivant, Ruy de Queiroz

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.60 lei

The 14th International Workshop on Logic, Language, Information and Computation focused on foundatio...

Informații despre carte

Autor

Daniel Leivant, Ruy de Queiroz

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2007

Pagini

366

EAN

9783540734437

ISBN

3540734430

Enbook ID

01568825

Editura

Springer, Berlin

Greutate

575

Dimensiuni

156 x 236 x 22

Descriere completă

The 14th International Workshop on Logic, Language, Information and Computation focused on foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions, and resources; and foundational aspects of information organization, search, flow, sharing, and protection.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic, Language, Information and Computation

14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și