Franz Baader (ed.) | Akateeminen Kirjakauppa

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

TERM REWRITING AND APPLICATIONS : 18TH INTERNATIONAL CONFERENCE, RTA 2007, PARIS, FRANCE, JUNE 26-28, 2007, PROCEEDINGS

Franz Baader (ed.)
Springer (2007)
Pehmeäkantinen kirja

49,60 €

AUTOMATED DEDUCTION - CADE-19 : 19TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION MIAMI BEACH, FL, USA, JULY 28 - AUGUST 2, 2

Franz Baader (ed.)
Springer (2003)
Pehmeäkantinen kirja

49,60 €

KI 2001: ADVANCES IN ARTIFICIAL INTELLIGENCE : JOINT GERMAN/AUSTRIAN CONFERENCE ON AI, VIENNA, AUSTRIA, SEPTEMBER 19-21, 2001. P

Franz Baader (ed.); Gerhard Brewka (ed.); Thomas Eiter (ed.)
Springer (2001)
Pehmeäkantinen kirja

49,60 €

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING : 11TH INTERNATIONAL WORKSHOP, LPAR 2004, MONTEVIDEO, URUGUAY, MAR

Franz Baader (ed.); Andrei Voronkov (ed.)
Springer (2005)
Pehmeäkantinen kirja

97,90 €

Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Franz Baader (ed.)

49,60 €

Springer
Sivumäärä: 422 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2007, 21.06.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus