Michael Hanus (ed.) | Akateeminen Kirjakauppa

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

ALGEBRAIC AND LOGIC PROGRAMMING : 6TH INTERNATIONAL JOINT CONFERENCE, ALP '97 - HOA '97, SOUTHHAMPTON, UK, SEPTEMBER 3-5, 1997.

Michael Hanus (ed.); Jan Heering (ed.); Karl Meinke (ed.)
Springer (1997)
Pehmeäkantinen kirja

49,60 €

FUNCTIONAL AND LOGIC PROGRAMMING : 16TH INTERNATIONAL SYMPOSIUM, FLOPS 2022, KYOTO, JAPAN, MAY 10–12, 2022, PROCEEDINGS

Michael Hanus (ed.); Atsushi Igarashi (ed.)
Springer (2022)
Pehmeäkantinen kirja

64,10 €

PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES : 25TH INTERNATIONAL SYMPOSIUM, PADL 2023, BOSTON, MA, USA, JANUARY 16–17, 2023, PROC

Michael Hanus (ed.); Daniela Inclezan (ed.)
Springer (2023)
Pehmeäkantinen kirja

73,70 €

THE TWO SIDES OF INNOVATION : CREATION AND DESTRUCTION IN THE EVOLUTION OF CAPITALIST ECONOMIES

Guido Buenstorf (ed.); Uwe Cantner (ed.); Horst Hanusch (ed.); Michael Hutter (ed.); Hans-Walter Lorenz (ed.); Fr Rahmeyer
Springer (2013)
Kovakantinen kirja

97,90 €

THE TWO SIDES OF INNOVATION : CREATION AND DESTRUCTION IN THE EVOLUTION OF CAPITALIST ECONOMIES

Guido Buenstorf (ed.); Uwe Cantner (ed.); Horst Hanusch (ed.); Michael Hutter (ed.); Hans-Walter Lorenz (ed.); Fr Rahmeyer
Springer (2016)
Pehmeäkantinen kirja

97,90 €

Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997.

Michael Hanus (ed.), Jan Heering (ed.), Karl Meinke (ed.)

49,60 €

Springer
Sivumäärä: 297 sivua
Asu: Pehmeäkantinen kirja
Painos: 1997
Julkaisuvuosi: 1997, 20.08.1997 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1298

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.
The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus