Ulrich Kohlenbach | Akateeminen Kirjakauppa

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

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

Tekijä: Ulrich Kohlenbach (ed.); Pablo Barceló (ed.); Ruy J G B de Queiroz (ed.)
Kustantaja: Springer (2014)
Saatavuus: Noin 17-20 arkipäivää

EUR 47,70

APPLIED PROOF THEORY: PROOF INTERPRETATIONS AND THEIR USE IN MATHEMATICS

Tekijä: Ulrich Kohlenbach
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Saatavuus: Noin 17-20 arkipäivää

EUR 126,80

APPLIED PROOF THEORY: PROOF INTERPRETATIONS AND THEIR USE IN MATHEMATICS

Tekijä: Ulrich Kohlenbach
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 126,80

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

Tekijä: Leonid Libkin (ed.); Ulrich Kohlenbach (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 45,80

LOGIC COLLOQUIUM 2007

Tekijä: Francoise Delon; Ulrich Kohlenbach; Penelope Maddy; Frank Stephan
Kustantaja: Cambridge University Press (2010)
Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa

EUR 134,60

LOGIC COLLOQUIUM 2007

Tekijä: Francoise Delon; Ulrich Kohlenbach; Penelope Maddy; Frank Stephan
Kustantaja: Cambridge University Press (2014)
Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa

EUR 46,20

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

Tekijä: Leonid Libkin; Ulrich Kohlenbach; Ruy De Queiroz
Kustantaja: Springer (2013)
Saatavuus: Ei tiedossa

EUR 114,00

Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014

Ulrich Kohlenbach (ed.), Pablo Barceló (ed.), Ruy J G B de Queiroz (ed.)

47,70 €

Springer
Sivumäärä: 237 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014
Julkaisuvuosi: 2014, 24.07.2014 (lisätietoa)
Kieli: Englanti

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus