Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Logic, Language, Information and Computation

Name: Logic, Language, Information and Computation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568030
Price: 571.42 RON
Availability: InStock
Author: Wilfrid Hodges
ISBN: 9783540699361

15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

Wilfrid Hodges

Ruy de Queiroz

Limba

engleză

Carte Carte broșată

Codul Libristo: 01568030

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2008

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book co... Descrierea completă

Codul Libristo: 01568030

263 b

571.42 lei

În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Geschichte des Kaiser Alexander Garde Grenadier Regiments Nr. 1 Adolf von Kries

Carte broșată

134.23 lei

L'Operation Barbarossa Mac

MP3

29.05 lei

Quantenkörper Jack Tuszynski

Copertă tare

126.42 lei

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.§The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: 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; foundational aspects of information organization, search, flow, sharing, and protection.