logic programming applications (161 resultados)

Condición: New. In.

Paperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations.

235 mm x 155 mm. XVII, 301 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Springer Theses. Sprache: Englisch.

Hardcover. Condición: Bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'usure sur la couverture. Couverture différente. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Signs of wear on the cover. Different cover. Ammareal gives back up to 15% of this item's net price to charity organizations.

Condición: New. In.

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 264 | Sprache: Englisch | Produktart: Bücher.

Hardcover. Condición: Bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.

Hardcover. Condición: Very Good+. Estado de la sobrecubierta: No Dust Jacket. (?); (?). Small peice of loose paper declaring that this book is a review copy. Plus a loose packing slip. Very minor shelfwear. ; *Semantics of Programming Languages and Model Theory* (Algebra, Logic and Applications, Vol. 5) delves into the relationship between programming language semantics and model theory. The book focuses on formal methods for understanding programming languages using logical and algebraic frameworks. It covers topics such as denotational semantics, algebraic structures, and model-theoretic techniques, providing theoretical foundations for how programming languages are interpreted and analyzed. It is a valuable resource for researchers and students interested in the intersection of logic, algebra, and computer science. ; 15.7 x 23. 2 x 3.2 cm ; vii, 366 pages.

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 250 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear'sjointconferenceconcentrateon three currently important elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.

Softcover. XVIII, 278 S. : 51 Ill. u. graph. Darst. ; 23 cm Very good condition. Reading pages are very clean and without marks. Slight traces of storage or usage. --- Sehr guter Zustand. Leseseiten sehr sauber und ohne Markierungen. Evtl. minimale Lager bzw. Gebrauchsspuren. 9783540970729 Sprache: Englisch Gewicht in Gramm: 404.

Condición: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

paperback. Condición: New. Pages Number: 206 Publisher: Chongqing University Press Pub. Date :2001-2-1. This book introduces the programmable logic controller (referred to as plc) works. features and hardware structure to Mitsubishi fx2n series example. describes the components and plc programming instruction. the experience ladder design method. based on relay ladder circuit design method. based on a sequential photo sequence control function design method and four sequential control programming. the design method is .

Condición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

Hardcover. Condición: Like New. Like NewLIKE NEW. book.

Soft cover. Condición: Very Good. 159 p. ; 21 cm. ; A revision of the 1985 ed. ; LC: QA75; Dewey: 510.28; 681.14 ; OCLC: 19054411 ; color photographic stiff paper wrappers ; Contents: Introduction: Algebraic logic -- Function keys -- Base systems and logic -- Statistical analysis - - Conversion keys. ; Part II : Applications -- Math -- Statistics -- Physica -- Electronics -- Engineering notes -- Financial -- Computer store notes -- Part III Programming notes : Technique -- Math -- Appendix: Calculator priorities -- Important reference tables. ; applications include time conversions, triangle problems, navigation, parabola length, quadratic equations, polynomials, series, Simpson's rule, matrices, linear regression, "t" test, chi-square test, projectiles, orbiting, radio active decay, viscosity, gas laws, series capacitance, parallel resistance, circuits with alternating current, R-C time constants, Bridged-T notch filter, solar energy, fluid flow, rectangular ducts, allowable working load, loans, amortization, Rule of 78, cash discount loss, chain discounts, mark ups, sales tax table, discounted cash flow, depreciation, and current ratio analysis. ; Casio documentation affixed to back cover ; instructions on using the Casio scientific calculator to perform th e various operations covered ; VG. Book.

Condición: New. In.

Condición: New. 2018. Annotated. paperback. . . . . .

paperback. Condición: Very Good. Very Good. book.

paperback. Condición: New. Pub Date: 2014-12-01 Pages: 238 Language: Chinese Publisher: Tsinghua University Press. Principles and Applications of PLC Siemens S7-200 PLC structure. programming. communication and configuration in the introduction of programmable logic controller basis (PLC) of the composition. theory and characteristics. focuses on the basic configuration of a typical PLC. the instruction set and programming; through a variety of cases. to highlight the engineering design method of PLC control system; ta.

Condición: New. 2018. Annotated. hardcover. . . . . .

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Restoration of degraded images has become an important and effective tool for many technological applications like space imaging, medical imaging and many other post-processing techniques. Most of the image restoration techniques model the degradation phenomena, usually blur and noise, and then obtain an approximation of the image. Whereas, in realistic situation, one has to estimate both the true image and the blur from the degraded image characteristics in the absence of any a priori information about the blurring system. The objective of this book is to present new punctual kriging based image restoration approaches using machine-learning techniques. To achieve this objective, this book concentrates on the restoration of images corrupted with Gaussian noise by making good tradeoffs between two contradicting properties; smoothness versus edge preservation. This book makes the following contributions: Quantitative analysis of the at hand punctual kriging based image restoration techniques, applications of artificial neural networks are discussed for image denoising. Furthermore, hybrid techniques for image restoration are presented in this book.

Paperback. Condición: Brand New. 242 pages. 9.00x6.50x0.75 inches. In Stock.

Condición: New. In.

Condición: New.

Leatherbound. Condición: NEW. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 370. A perfect gift for your loved ones. Reprinted from 1957 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume copy 2 Language: English Pages: 370 Volume copy 2.

Leatherbound. Condición: NEW. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 394. A perfect gift for your loved ones. Reprinted from 1957 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Language: English Pages: 394.