topmenu
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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: 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ł |
| |
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ł |
| |
Franz von Baader's Sämmtliche Werke: 12. Band
ISBN: 9783375116057 / Niemiecki / Twarda / 2022 / 566 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,47 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ł |
 |
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: 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ł |
| |
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ł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
