SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Daniel Leivant | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?



Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007,
Daniel Leivant; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic and Computational Complexity - International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Paper
Daniel Leivant
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1995)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015
Valeria de Paiva; Ruy de Queiroz; Lawrence S. Moss; Daniel Leivant; Anjolina G. de Oliveira
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007,
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 366 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 15.06.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007,zoom
Näytä kaikki tuotetiedot
ISBN:
9783540734437
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste