KIRJAUDU

ostoskori

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Ruy de Queiroz | Akateeminen Kirjakauppa

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

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

123,80 €

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 €

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 €

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

68,90 €

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

49,60 €

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

49,60 €

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

49,60 €

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION

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

49,60 €

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

45,80 €

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

47,70 €

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

49,60 €

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

49,60 €

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

65,00 €

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

49,60 €

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

72,80 €

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

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

49,60 €

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

115,80 €

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

65,00 €

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

57,30 €

Hae lisää...

Functional Interpretation Of Logical Deduction, The

Anjolina G De Oliveira, Dov M Gabbay, Ruy J G B De Queiroz

123,80 €

World Scientific Publishing Co Pte Ltd
Sivumäärä: 300 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2011, 02.11.2011 (lisätietoa)
Kieli: Englanti

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched’ system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing ‘labels’ is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.

LISÄÄ OSTOSKORIIN

Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.

Myymäläsaatavuus