Pastāsti draugiem par šo preci:
Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series W Bibel
Cena
€ 181,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 10. - 24. aug.
Saņemiet paziņojumus par jauniem W Bibel izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series
W Bibel
Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
335 pages, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1998. gada 30. jūnijs |
| ISBN13 | 9780792351313 |
| Izdevēji | Kluwer Academic Publishers |
| Lapas | 335 |
| Izmēri | 160 × 242 × 26 mm · 671 g |
| Valoda | Angļu |
| Redaktors | Bibel, Wolfgang |
| Redaktors | Schmitt, Peter H. |
Vairāk no W Bibel
Rādīt visu![Cover for W Bibel · Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel - Applied Logic Series (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/616/9780792362616.jpg?w-bibel-2000-intellectics-and-computational-logic-papers-in-honor-of-wolfgang-bibel-applied-logic-series-hardcover-book&class=scaled&v=1443040645)
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/290/9780792351290.jpg?w-bibel-1998-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-hardcover-book&class=scaled&v=1427529387)
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/306/9780792351306.jpg?w-bibel-1998-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-hardcover-book&class=scaled&v=1463402285)
Vairāk no tā paša izdevēja
![Cover for Willem H. Birkenhä ger (Professor of Medicine (Emeritus), Erasmus University, Rotterdam, the Netherlands) · Practical Management of Hypertension (Paperback Book) [Deutsche Aufl edition] (2011)](https://imusic.b-cdn.net/images/item/original/699/9780792389699.jpg?willem-h-birkenh-auml-ger-professor-of-medicine-emeritus-erasmus-university-rotterdam-the-netherlands-2011-practical-management-of-hypertension-paperback-book&class=scaled&v=1624835368)
![Cover for Leon Cohen · Recent Developments in Time-frequency Analysis (Paperback Book) [1st Ed. Softcover of Orig. Ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/659/9781441950659.jpg?leon-cohen-2010-recent-developments-in-time-frequency-analysis-paperback-book&class=scaled&v=1435407085)
![Cover for Harm G. Schroter · Americanization of the European Economy: A compact survey of American economic influence in Europe since the 1800s (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/847/9781402028847.jpg?harm-g-schroter-2005-americanization-of-the-european-economy-a-compact-survey-of-american-economic-influence-in-europe-since-the-1800s-hardcover-book&class=scaled&v=1408385793)
![Cover for U Lueschner · Cholestatic Liver Diseases: Therapeutic Options and Perspectives: In honour of Hans Popper's 100th birthday - Falk Symposium (Hardcover Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/930/9780792387930.jpg?u-lueschner-2004-cholestatic-liver-diseases-therapeutic-options-and-perspectives-in-honour-of-hans-popper-s-100th-birthday-falk-symposium-hardcover-book&class=scaled&v=1497869319)
![Cover for R Duchmann · Mechanisms of Intestinal Inflammation: Implications for Therapeutic Intervention in IBD - Falk Symposium (Hardcover Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/879/9780792387879.jpg?r-duchmann-2004-mechanisms-of-intestinal-inflammation-implications-for-therapeutic-intervention-in-ibd-falk-symposium-hardcover-book&class=scaled&v=1621205455)
![Cover for Edmund Husserl · Transzendentaler Idealismus. Texte Aus Dem Nachlass (1908/21) - Husserliana: Edmund Husserl - Gesammelte Werke (Hardcover Book) [2003 edition] (2004)](https://imusic.b-cdn.net/images/item/original/169/9781402018169.jpg?edmund-husserl-2004-transzendentaler-idealismus-texte-aus-dem-nachlass-1908-21-husserliana-edmund-husserl-gesammelte-werke-hardcover-book&class=scaled&v=1418200689)
![Cover for Philippe Quesne · Les Recherches Philosophiques Du Jeune Heidegger - Phaenomenologica S.: Published Under the Auspices of the Husserl Archives, Leuven, Belgium (Hardcover Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/714/9781402016714.jpg?philippe-quesne-2004-les-recherches-philosophiques-du-jeune-heidegger-phaenomenologica-s-published-under-the-auspices-of-the-husserl-archives-leuven-belgium-hardcover-book&class=scaled&v=1543733287)
![Cover for Dario Castiglione · Toleration, Neutrality and Democracy (Hardcover Book) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/605/9781402017605.jpg?dario-castiglione-2003-toleration-neutrality-and-democracy-hardcover-book&class=scaled&v=1544627752)
![Cover for M Staritz · Side-effects of Cancer Chemotherapy on the Gastrointestinal Tract: Pathophysiology, Prophylaxis and Therapy - Falk Symposium (Hardcover Book) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/916/9780792387916.jpg?m-staritz-2003-side-effects-of-cancer-chemotherapy-on-the-gastrointestinal-tract-pathophysiology-prophylaxis-and-therapy-falk-symposium-hardcover-book&class=scaled&v=1612452592)
![Cover for Alain Berlinet · Reproducing Kernel Hilbert Spaces in Probability and Statistics (Hardcover Book) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/794/9781402076794.jpg?alain-berlinet-2003-reproducing-kernel-hilbert-spaces-in-probability-and-statistics-hardcover-book&class=scaled&v=1408519695)
![Cover for Peled, A. (Holon Academic Institute of Technology, Israel) · Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Hardcover Book) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/278/9781402075278.jpg?peled-a-holon-academic-institute-of-technology-israel-2003-photo-excited-processes-diagnostics-and-applications-fundamentals-and-advanced-topics-hardcover-book&class=scaled&v=1576448376)
![Cover for David Hill · Prevention of Skin Cancer - Cancer Prevention-Cancer Causes (Hardcover Book) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/352/9781402014352.jpg?david-hill-2003-prevention-of-skin-cancer-cancer-prevention-cancer-causes-hardcover-book&class=scaled&v=1512635650)
![Cover for D. Williamson · The Origins of Larvae (Hardcover Book) [Second Edition 2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/144/9781402015144.jpg?d-williamson-2003-the-origins-of-larvae-hardcover-book&class=scaled&v=1416853408)
![Cover for Bruce F Eldridge · Medical Entomology: a Textbook on Public Health and Veterinary Problems Caused by Arthropods (Hardcover Book) [2nd Ed. 2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/130/9781402014130.jpg?bruce-f-eldridge-2003-medical-entomology-a-textbook-on-public-health-and-veterinary-problems-caused-by-arthropods-hardcover-book&class=scaled&v=1461950210)
![Cover for Henry Y. Wan Jr. · Economic Development in a Globalized Environment: East Asian Evidences (Hardcover Book) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/183/9781402076183.jpg?henry-y-wan-jr-2003-economic-development-in-a-globalized-environment-east-asian-evidences-hardcover-book&class=scaled&v=1408517737)
Skatīt visus W Bibel ( piem., Paperback Book un Hardcover Book )