Logic, Language, Information and Computation - 14th International Work
Schrijver: | |
---|---|
Titel: | Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings |
ISBN: | 9783540734437 |
Taal: | Engels |
Uitgever: | Springer-Verlag GmbH |
Bijzonderheden: | 2007 376pp Paperback / softback |
Prijs: | € 61,20 |
Verzendkosten: | Gratis (binnen Nederland) |
Meer info: |
Annotatie This book constitutes the refereed proceedings of the 14th International Workshop on Logic, Language, Information and Computation, WoLLIC 2007, held in Rio de Janeiro, Brazil in July 2007. Flaptekst Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community. WoLLIC 2007 focused on foundationsof computing and programming,novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search, ?ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee¿s invitation. |
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,90 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 3,95 euro per zending.
Bij bestellingen van 10 euro of minder zijn de verzendkosten hoger; zie vermelding bij het boek.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.
Let op: dit nieuwe boek is anderstalig en heeft een levertijd van ongeveer 5 werkdagen binnen Nederland
Het huisnummer is ook opgegeven in het straat veld. Gelieve controleren of de velden straat en huisnummer correct zijn opgegeven.
Straat:
Nummer:
- Dit boek is nieuw
- U ontvangt bij ons altijd de laatste beschikbare druk
- Daarom kan de getoonde afbeelding afwijken van het werkelijke boek
- Van toepassing zijn de Algemene Verkoopvoorwaarden Boekstra
- Na uw bestelling ontvangen u en Boekstra een bevestiging per e-mail
- U handelt deze bestelling rechtstreeks af met Boekstra. In de e-mail staan de naam,adres, woonplaats en telefoonnummer van Boekstra vermeld
- Boekstra kan betaling vooraf vragen
- Bekijk hier de algemene voorwaarden van Boekstra.
Onthoud mijn gegevens
Registreer u vrijblijvend als koper!
Besteld, hoe nu verder?
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen. Afhankelijk van uw locatie heeft u in de meeste gevallen binnen 2 dagen uw bestelling in huis.