KIRJAUDU

ostoskori

avaa valikko

Ruy de Queiroz | Akateeminen Kirjakauppa

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

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

41,40 €

FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE

Anjolina G De Oliveira; Dov M Gabbay; Ruy J G B De Queiroz
World Scientific Publishing Co Pte Ltd (2011)
Kovakantinen kirja

128,60 €

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

51,40 €

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION - 15TH INTERNATIONAL WORKSHOP, WOLLIC 2008 EDINBURGH, UK, JULY 1-4, 2008, PROCEEDIN

Wilfrid Hodges; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

71,40 €

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION - 16TH INTERNATIONAL WORKSHOP, WOLLIC 2009, TOKYO, JAPAN, JUNE 21-24, 2009, PROCEED

Hiroakira Ono; Makoto Kanazawa; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION - 17TH INTERNATIONAL WORKSHOP, WOLLIC 2010, BRASILIA, BRAZIL, JULY 6-9, 2010, PROCE

Anuj Dawar; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

51,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 18TH INTERNATIONAL WORKSHOP, WOLLIC 2011, PHILADELPHIA, PA, USA, MAY 18-20, PROC

Lev D. Beklemishev; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

51,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION

Luke Ong; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

51,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 20TH INTERNATIONAL WORKSHOP, WOLLIC 2013, DARMSTADT, GERMANY, AUGUST 20-23, 2013

Leonid Libkin; Ulrich Kohlenbach; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

47,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 21ST INTERNATIONAL WORKSHOP, WOLLIC 2014, VALPARAÍSO, CHILE, SEPTEMBER 1-4, 201

Ulrich Kohlenbach; Pablo Barceló; Ruy J G B de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

49,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 23RD INTERNATIONAL WORKSHOP, WOLLIC 2016, PUEBLA, MEXICO, AUGUST 16-19TH, 2016.

Jouko Väänänen; � sa Hirvonen; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2016)
Pehmeäkantinen kirja

51,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDI

Juliette Kennedy; Ruy J.G.B. de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2017)
Pehmeäkantinen kirja

51,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 25TH INTERNATIONAL WORKSHOP, WOLLIC 2018, BOGOTA, COLOMBIA, JULY 24-27, 2018, PR

Lawrence S. Moss; Ruy de Queiroz; Maricarmen Martinez
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2018)
Pehmeäkantinen kirja

67,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 26TH INTERNATIONAL WORKSHOP, WOLLIC 2019, UTRECHT, THE NETHERLANDS, JULY 2-5, 20

Rosalie Iemhoff; Michael Moortgat; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2019)
Pehmeäkantinen kirja

51,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 27TH INTERNATIONAL WORKSHOP, WOLLIC 2021, VIRTUAL EVENT, OCTOBER 5–8, 2021, PROC

Alexandra Silva; Renata Wassermann; Ruy de Queiroz
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja

75,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 28TH INTERNATIONAL WORKSHOP, WOLLIC 2022, IAȘI, ROMANIA, SEPTEMBER 20–23, 2022,

Agata Ciabattoni; Elaine Pimentel; Ruy J. G. B. de Queiroz
Springer International Publishing AG (2022)
Pehmeäkantinen kirja

51,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 20TH INTERNATIONAL WORKSHOP, WOLLIC 2013, DARMSTADT, GERMANY, AUGUST 20-23, 2013

Leonid Libkin; Ulrich Kohlenbach; Ruy De Queiroz
Springer (2013)
Pehmeäkantinen kirja

119,60 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 29TH INTERNATIONAL WORKSHOP, WOLLIC 2023, HALIFAX, NS, CANADA, JULY 11–14, 2023,

Helle Hvid Hansen (ed.); Andre Scedrov (ed.); Ruy J.G.B. de Queiroz (ed.)
Springer (2023)
Pehmeäkantinen kirja

67,40 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 30TH INTERNATIONAL WORKSHOP, WOLLIC 2024, BERN, SWITZERLAND, JUNE 10–13, 2024, P

George Metcalfe (ed.); Thomas Studer (ed.); Ruy de Queiroz (ed.)
Springer (2024)
Pehmeäkantinen kirja

59,40 €

Hae lisää...

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

41,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 201 sivua
Asu: Pehmeäkantinen kirja
Painos: 2015 ed.
Julkaisuvuosi: 2015, 07.07.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.

The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus