wyszukanych pozycji: 29
Term Rewriting and All That
ISBN: 9780521779203 / Angielski / Miękka / 1999 / 316 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover 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, Grobner bases, and Buchberger's algorithm. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). Key chapters cover crucial algorithms such as unification and...
This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract r...
|
|
cena:
258,31 zł |
The Description Logic Handbook: Theory, Implementation and Applications
ISBN: 9780521150118 / Angielski / Miękka / 2010 / 601 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically oriented readers, to those with more practically oriented interests who need a sound and modern understanding of knowledge representation systems based on description logics. As well as general revision throughout the book,...
Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Descr...
|
|
cena:
415,78 zł |
Franz von Baader's Erläuterungen zu sämmtlichen Schriften
ISBN: 9783750337251 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
123,89 zł |
Franz von Baader's Sämmtliche Werke: 12. Band
ISBN: 9783375116040 / Niemiecki / Miękka / 2022 / 566 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
412,31 zł |
Tagebücher aus den Jahren 1786 bis 1793
ISBN: 9783750369863 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
112,42 zł |
Gesammelte Schriften zur Religionsphilosophie : 3. Band
ISBN: 9783750369887 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
112,42 zł |
Term Rewriting and Applications: 18th International Conference, Rta 2007, Paris, France, June 26-28, 2007, Proceedings
ISBN: 9783540734475 / Angielski / Miękka / 2007 / 438 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussi... |
|
cena:
194,97 zł |
Sämtliche Werke
ISBN: 9783750369870 / Miękka / 568 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Bücher zählen bis heute zu den wichtigsten kulturellen Errungenschaften der Menschheit. Ihre Erfindung war mit der Einführung des Buchdrucks ähnlich bedeutsam wie des Internets: Erstmals wurde eine massenweise Weitergabe von Informationen möglich. Bildung, Wissenschaft, Forschung, aber auch die Unterhaltung wurde auf neuartige, technisch wie inhaltlich revolutionäre Basis gestellt. Bücher verändern die Gesellschaft bei heute.
Die technischen Möglichkeiten des Massen-Buchdrucks führten zu einem radikalen Zuwachs an Titeln im 18. Und 19 Jahrhundert. Dennoch waren die... Bücher zählen bis heute zu den wichtigsten kulturellen Errungenschaften der Menschheit. Ihre Erfindung war mit der Einführung des Buchdrucks ähnli...
|
|
cena:
123,89 zł |
Franz von Baader's Sämmtliche Werke: 16. Band
ISBN: 9783375110949 / Niemiecki / Miękka / 2022 / 574 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
412,31 zł |
Erläuterungen zu sämtlichen Schriften Louis Claude de Saint-Martins
ISBN: 9783750369849 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
123,89 zł |
Sämmtliche Werke: Zwölfter Band
ISBN: 9783375116699 / Niemiecki / Twarda / 2022 / 564 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
504,04 zł |
Gesammelte Schriften zur Religionsphilosophie : 4. Band
ISBN: 9783750369917 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
105,54 zł |
Elementarbegriffe über die Zeit : Vorlesungen über Philosophie der Societät
ISBN: 9783750369894 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
112,42 zł |
Franz von Baader's Sämmtliche Werke: 12. Band
ISBN: 9783375116057 / Niemiecki / Twarda / 2022 / 566 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
504,04 zł |
Franz von Baader's Sämmtliche Werke: 16. Band
ISBN: 9783375110956 / Niemiecki / Twarda / 2022 / 574 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
504,04 zł |
Gesammelte Schriften zur Societätsphilosophie : 1. Band
ISBN: 9783750369856 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
114,71 zł |
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
ISBN: 9783540405597 / Angielski / Miękka / 2003 / 512 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: - 4 contributions by invited speakers: one full paper and three short abstracts; - 29 accepted technical papers; - 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops...
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Be...
|
|
cena:
194,97 zł |
Sämmtliche Werke: Zwölfter Band
ISBN: 9783375116682 / Niemiecki / Miękka / 2022 / 564 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
412,31 zł |
Gesammelte Schriften zur Naturphilosphie
ISBN: 9783750369900 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
117,01 zł |
Sammtliche Werke: Vierter Band
ISBN: 9783382026592 / Niemiecki Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
458,18 zł |