SULJE VALIKKO

avaa valikko

Franz Baader | Akateeminen Kirjakauppa

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



Term Rewriting and All That
Franz Baader; Tobias Nipkow
Cambridge University Press (1999)
Pehmeäkantinen kirja
62,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Vorlesungen ber speculative Dogmatik
Franz von Baader; Franz Baader; Franz Xaver von Baader
Kniga po trebovaniyu
20,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
An Introduction to Description Logic
Franz Baader; Ian Horrocks; Carsten Lutz; Uli Sattler
Cambridge University Press (2017)
Pehmeäkantinen kirja
47,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
An Introduction to Description Logic
Franz Baader; Ian Horrocks; Carsten Lutz; Uli Sattler
Cambridge University Press (2017)
Kovakantinen kirja
86,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Franz Von Baader's Sämmtliche Werke. Dreizehnter Band.
Franz Hoffmann; Franz Von Baader; Emil August von Schaden
WENTWORTH PR (2018)
Pehmeäkantinen kirja
64,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Franz Von Baader's Sämmtliche Werke. Dreizehnter Band.
Franz Hoffmann; Franz Von Baader; Emil August von Schaden
WENTWORTH PR (2018)
Kovakantinen kirja
85,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Franz Von Baader's Sämmtliche Werke. Fuenfzehnter Band
Franz Hoffmann; Franz Von Baader; Emil August von Schaden
Creative Media Partners, LLC (2018)
Pehmeäkantinen kirja
81,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Philosophische Schriften - Band 5
Franz Hoffmann; Franz Baader
Hansebooks (2016)
Pehmeäkantinen kirja
50,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Philosophische Schriften - Band 4
Johann Caspar Bluntschli; Franz Hoffmann; Franz Baader
Hansebooks (2016)
Pehmeäkantinen kirja
50,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Franz Von Baader's Sämmtliche Werke. FUENFZEHNTER BAND
Franz Hoffmann; Franz Von Baader; Emil August von Schaden
Creative Media Partners, LLC (2023)
Kovakantinen kirja
57,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Franz Von Baader's Sämmtliche Werke. FUENFZEHNTER BAND
Franz Hoffmann; Franz Von Baader; Emil August von Schaden
Creative Media Partners, LLC (2018)
Kovakantinen kirja
103,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Term Rewriting and Applications - 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
Franz Baader
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2
Franz Baader
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
KI 2001: Advances in Artificial Intelligence - Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. P
Franz Baader; Gerhard Brewka; Thomas Eiter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Workshop, LPAR 2004, Montevideo, Uruguay, Mar
Franz Baader; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Beitrage Zur Dinamischen Philosophie: Im Gegensaze Der Mechanischen (1809)
Franz Von Baader
KESSINGER PUB CO (2009)
Pehmeäkantinen kirja
29,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Beitrage Zur Dinamischen Philosophie: Im Gegensaze Der Mechanischen (1809)
Franz Von Baader
KESSINGER PUB CO (2009)
Kovakantinen kirja
70,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Leben Und Theosophische Werke V1-2, Part 2 (1886)
Franz Von Baader
KESSINGER PUB CO (2010)
Pehmeäkantinen kirja
61,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Leben Und Theosophische Werke V1-2, Part 2 (1886)
Franz Von Baader
KESSINGER PUB CO (2010)
Kovakantinen kirja
103,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Leben Und Theosophische Werke V1-2, Part 1 (1886)
Franz Von Baader
KESSINGER PUB CO (2010)
Pehmeäkantinen kirja
48,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Term Rewriting and All That
62,60 €
Cambridge University Press
Sivumäärä: 316 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1999, 05.08.1999 (lisätietoa)
Kieli: Englanti
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. . Tilaa tuote jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Term Rewriting and All Thatzoom
Näytä kaikki tuotetiedot
ISBN:
9780521779203
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste