Wyniki wyszukiwania:
wyszukanych pozycji: 39
 |
Term Rewriting and All That
ISBN: 9780521779203 / Angielski / Miękka / 1999 / 316 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
251,21 zł |
 |
The Description Logic Handbook: Theory, Implementation and Applications
ISBN: 9780521150118 / Angielski / Miękka / 2010 / 601 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
388,72 zł |
 |
Franz von Baader's Erläuterungen zu sämmtlichen Schriften
ISBN: 9783750337251 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
121,05 zł |
 |
Sämtliche Werke
ISBN: 9783750369870 / Miękka / 568 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
121,05 zł |
 |
Gesammelte Schriften zur Societätsphilosophie : 1. Band
ISBN: 9783750369856 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
112,09 zł |
 |
Sämmtliche Werke: Zehnter Band
ISBN: 9783382025670 / Niemiecki / Twarda / 2023 / 428 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
362,76 zł |
 |
Gesammelte Schriften zur Religionsphilosophie : 4. Band
ISBN: 9783750369917 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
103,12 zł |
| |
Sämmtliche Werke: Fünfter Band
ISBN: 9783382036843 / Niemiecki / Miękka / 2023 / 494 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
322,41 zł |
 |
Franz von Baader's Sämmtliche Werke: 16. Band
ISBN: 9783375110949 / Niemiecki / Miękka / 2022 / 574 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
362,76 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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 zł |
| |
Sämmtliche Werke: Siebenter Band
ISBN: 9783382037710 / Niemiecki / Twarda / 2023 / 468 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,12 zł |
| |
Franz von Baader's Sämmtliche Werke: 12. Band
ISBN: 9783375116040 / Niemiecki / Miękka / 2022 / 566 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
362,76 zł |
 |
Gesammelte Schriften zur Religionsphilosophie : 3. Band
ISBN: 9783750369887 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
109,85 zł |
| |
Sämmtliche Werke: Zehnter Band
ISBN: 9783382025663 / Niemiecki / Miękka / 2023 / 428 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
282,06 zł |
 |
Gesammelte Schriften zur Naturphilosphie
ISBN: 9783750369900 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
114,33 zł |
| |
Sämmtliche Werke: Zwölfter Band
ISBN: 9783382027438 / Niemiecki / Twarda / 2023 / 564 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,47 zł |
 |
Franz von Baader's Sämmtliche Werke: 16. Band
ISBN: 9783375110956 / Niemiecki / Twarda / 2022 / 574 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,47 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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 zł |
| |
Sämmtliche Werke: Siebenter Band
ISBN: 9783382037703 / Niemiecki / Miękka / 2023 / 468 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
322,41 zł |
 |
Sämmtliche Werke: Zwölfter Band
ISBN: 9783375116699 / Niemiecki / Twarda / 2022 / 564 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,47 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
