Schmitt h p (60 Ergebnisse)

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardcover. Zustand: Like New. First Edition. First Edition, First Printing. Published by University of Virginia Press, 1980. Octavo. Hardcover. Book is like new. Dust jacket is like new with light shelf/edgewear.100% positive feedback. 30 day money back guarantee. NEXT DAY SHIPPING! Excellent customer service. Please email with any questions. All books packed carefully and ship with free delivery confirmation/tracking. All books come with free bookmarks. Ships from Sag Harbor, New York.…

Brown hardback cloth cover. Zustand: Very Good. First Edition. VG : in very good condition with dust jacket. 240mm x 160mm (9" x 6"). 251pp.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

1st edition. 8vo. xiv + 253pp. B/w. portrait frontispiece and illustrations. Original cloth. Pictorial d/w. with black spine lettered in beige, rubbed. Mariners Museum Publication No.38. ISBN 0917376331 US$15.

Ed. North-Holland, Amsterdam - 1983, in-8, broché, 97 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…

Zustand: Good. 47 pp., extracted from larger bound volume, library hand stamp to title page, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Broschiert. Zustand: Gut. 1. Aufl. 46 S. ; 22 cm gutes und sauberes Exemplar (leicht angestaubt) Sprache: Deutsch Gewicht in Gramm: 150.

Broschiert. Zustand: Sehr gut. 4. Aufl. 56 S. ; 22 cm gutes und sauberes Exemplar Sprache: Deutsch Gewicht in Gramm: 150.

Zustand: very good. Charlottesville : University Press of Virginia,1980. Orig. cloth binding. Dustjacket. xiv,253 pp. Index. Condition: very good, clean and unread copy! Condition : very good copy. ISBN 9780917376337. Keywords : HISTORY, maritime history whaling.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This proceedings volume contains a selection of revised andextended papers presented at the Second InternationalWorkshop on Nonmonotonic and InductiveLogic, NIL '91, whichtook place at Reinhardsbrunn Castle, December 2-6, 1991.The volume opens with an extended version of a tutorial onnonmonotonic logic by G. Brewka, J. Dix, and K. Konolige.Fifteen selected papers follow, on a variety of topics. Themajority of papers belong either to the area of nonmonotonicreasoning or to the field of inductive inference, butsome papers integrate research from both areas.The first workshop in this series was held at the Universityof Karlsruhe in December 1990 and its proceedings werepublished as Lecture Notes in Artificial Intelligence Volume543. The series of workshops was made possible by financialsupport from Volkswagen Stiftung, Hannover. This workshopwas also supported by IBM Deutschland GmbH and Siemens AG.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive Logic held in Karlsruhe,December 1990. The workshop was supported by theVolkswagen-Stiftung, Hannover, and provided a forum forresearchers from the two fields to communicate and findareas of cooperation. The papersare organized into sectionson:- Nonmonotonicity in logic programs- Axiomatic approach to nonmonotonic reasoning- Inductive inference- Autoepistemic logic- Belief updatesThe bulk of the papers are devoted to nonmonotonic logic andprovide an up-to-date view of the current state of researchpresented by leading experts in the field. A novelty in thecontributions from the area of inductive logic is theanalysis of nonmonotonicity in the theory of inductivelearning.…

Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Near Fine DJ. 1st Edition. Vii,293 Pp. Green Cloth, Spine Gilt. Compilation Of Technical Articles, Each With Good Bibliographies. Book With Just A Touch Of Wear, No Names Or Marks. Dj Price Clipped, Evenly Browned, Minute Losses At Corners And Across Top Of Spine.…

Zustand: New.

Hardcover. Zustand: Fine. 1st Edition. New York & London: Garland Publishing, Inc., 1992. The Garland Full Cloth True First Edition, First Printing, not the Taylor & Francis / Routledge imprint - reprint. Seemingly Unread. Touch of extremity wear, light extremity age. Square, sewn binding extremely tight. Internally Unmarked. First Edition, First Printing. Hard Cover, Cloth, Sewn. Fine/No Jacket, As Issued. 8vo - 9¼" tall.…

Leder. 1898. 264 S m. zahlr. Abb. Ohldr. Gr-8°. (Handbuch der Architektur, die Hochbaukonstruktion Bd. 3, H.2) (beschabt). Buch.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 260 | Sprache: Englisch | Produktart: Bücher | This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive Logic held in Karlsruhe,December 1990. The workshop was supported by theVolkswagen-Stiftung, Hannover, and provided a forum forresearchers from the two fields to communicate and findareas of cooperation. The papersare organized into sectionson:- Nonmonotonicity in logic programs- Axiomatic approach to nonmonotonic reasoning- Inductive inference- Autoepistemic logic- Belief updatesThe bulk of the papers are devoted to nonmonotonic logic andprovide an up-to-date view of the current state of researchpresented by leading experts in the field. A novelty in thecontributions from the area of inductive logic is theanalysis of nonmonotonicity in the theory of inductivelearning.…

Zustand: New.

Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - We are invited to deal with mathematical activity in a sys tematic way [ . ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today. …

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - We are invited to deal with mathematical activity in a sys tematic way [ . ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.…

Taschenbuch. Zustand: Neu. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Wolfgang Bibel (u. a.) | Taschenbuch | Applied Logic Series | xii | Englisch | 2010 | Springer | EAN 9789048150526 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Broché. Zustand: Bon état. in-8 Description :438 pp. Usure d'usage. Couverture légèrement salie. Langue : Français Nb de volumes : 1.

Paperback. Zustand: Brand New. 346 pages. 9.25x6.10x0.80 inches. In Stock.