Logic Programming Applications (161 results)

Condition: New.

Paperback. Condition: 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. Condition: 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.

2014. 301 Seiten Buch in neuwertigem Zustand. Wirkt unbenutzt. Lediglich Mini-BibSignatur auf Buchrücken und Barcode auf Vorsatz. 9783319039480 Sprache: Englisch Gewicht in Gramm: 522 Gebundene Ausgabe, Größe: 15.6 x 1.9 x 23.4 cm.

Hardcover. Condition: 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.

Condition: New.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 264 | Sprache: Englisch | Produktart: Bücher.

Hardcover. Condition: Very Good+. Dust Jacket Condition: 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.

Condition: New.

Hardcover. Condition: 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.

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

Condition: 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.

Taschenbuch. Condition: 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.

Broschiert. Condition: Gut. 278 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 420.

Hardcover. Condition: Like New. Like NewLIKE NEW. book.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 250 | Sprache: Englisch | Produktart: Bücher.

Condition: new.

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

paperback. Condition: Very Good. Very Good. book.

Condition: New. In.

Paperback. Condition: Like New. Like New. book.

Condition: new.

Paperback. Condition: Like New. Like New. book.

Condition: New.

Condition: New.

paperback. Condition: 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 .

Soft cover. Condition: 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.

paperback. Condition: 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.

Leatherbound. Condition: 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. Condition: 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.