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ł |
 |
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ł |
 |
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: 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ł |
| |
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ł |
 |
Elementarbegriffe über die Zeit : Vorlesungen über Philosophie der Societät
ISBN: 9783750369894 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
109,85 zł |
 |
Erläuterungen zu sämtlichen Schriften Louis Claude de Saint-Martins
ISBN: 9783750369849 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
121,05 zł |
| |
Les enseignements secrets de Martines de Pasqually [Ed 1900]
ISBN: 9782012575349 / Francuski / Miękka / 2012 / 228 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
90,17 zł |
| |
Sämmtliche Werke: Zwölfter Band
ISBN: 9783382027421 / Niemiecki / Miękka / 2023 / 564 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
362,76 zł |
 |
Tagebücher aus den Jahren 1786 bis 1793
ISBN: 9783750369863 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
109,85 zł |
| |
Sämmtliche Werke: Fünfter Band
ISBN: 9783382036850 / Niemiecki / Twarda / 2023 / 494 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,12 zł |
 |
Sämmtliche Werke: Zwölfter Band
ISBN: 9783375116682 / Niemiecki / Miękka / 2022 / 564 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
362,76 zł |
 |
Franz von Baader's Vorlesungen und Erl?uterungen zu Jacob B?hme's Lehre
ISBN: 9783563665954 / Niemiecki Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
282,06 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
