Sprache: Englisch
Verlag: Benjamin-Cummings Publishing Company, 1992
ISBN 10: 080531217X ISBN 13: 9780805312171
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. Subsequent. Used book that is in clean, average condition without any missing pages.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Zustand: as new. Cambridge, MA: The MIT Press, 1997. Hardcover. Dustjacket. 257 pp.- The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions. The essays in Automated Reasoning and Its Applications were written in honor of Larry Wos, one of the founders of the field. Wos played a central role in forming the "culture" of automated reasoning at Argonne National Laboratory. He and his colleagues consistently seek to build systems that search huge spaces for solutions to difficult problems and proofs of significant theorems. They have had numerous notable successes.The contributors are among the world's leading researchers in automated reasoning. Their essays cover the theory, software system design, and use of these systems to solve real problems.Contributors : Robert S. Boyer, Shang-Ching Chou, Xiao-Shan Gao, Lawrence Henschen, Deepak Kapur, Kenneth Kunen, Ewing Lusk, William McCune, J Strother Moore, Ross Overbeek, Lawrence C. Paulson, Hantao Zhang, Jing-Zhong Zhang. English text. Condition : as new. Condition : as new copy. ISBN 9780262220552. Keywords : ,
Zustand: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Zustand: Good. Used book that is in clean, average condition without any missing pages.
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
EUR 6,34
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Sprache: Englisch
Verlag: The Benjamin/Cummings Publishing Company, Menlo Park, CA, U.S.A., 1986
ISBN 10: 0805389407 ISBN 13: 9780805389401
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 11,29
Anzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Hardcover. Spine head is slightly bumped, otherwise very light shelfwear on boards. Sticker on front board. Spine is slightly sunned. Page block head is lightly marked. Contents are sound, clean, clear. BW. Used.
EUR 21,46
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Hardcover. Zustand: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: 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.
Sprache: Englisch
Verlag: Pearson Education, Limited, 1997
ISBN 10: 0201874024 ISBN 13: 9780201874020
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. 2nd Edition. Used book that is in clean, average condition without any missing pages.
Verlag: Springfield, IL : Charles C. Thomas, Publisher, 1961., 1961
Anbieter: Joseph Valles - Books, Stockbridge, GA, USA
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: Very Good. xiv, 328 pp. ; LCCN: 60-11266 ; dark green cloth with gold lettering, in a black and gray dustjacket ; ex-lib ; library stamps and marks ; spine label on dustjacket ; foxing of text ; grease pencil mark on front ep ; Contents: The nature of TAT stories as cognitive products : a psychoanalytic approach / Robert Holt -- A substitutive-defensive conception of apperceptive fantasy / Richard Lazarus -- Thematic apperception in a nationwide sample survey / Joseph Veroff -- The influence of drive aro usal and the conflict upon fantasy behavior / Seymour Feshbach -- Psycho-logic : a personality approach to patterns of thinking / Edwin Shneidman -- Stylistic variables in fantasy behavior : the ascription of affect states to social stimuli / Jerome Kagan -- The role of the stimulus in the manifestation of fantasy / Bernard Murstein -- A theoretical and research reappraisal of stimulus factors in the TAT / Douglas Kenny ; VG/VG. Book.
Sprache: Englisch
Verlag: Addison Wesley Longman, Inc., 1998
ISBN 10: 0201874024 ISBN 13: 9780201874020
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
gebundene Ausgabe. Zustand: Gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XXI, 825 Seiten, Englisch 1700g.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 80,05
Anzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 702.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: Used. pp. 702.
Verlag: Los Alamos National Lab, Los Alamos, NM, 1984
Anbieter: Ground Zero Books, Ltd., Silver Spring, MD, USA
Zustand: good. Approx. 200, wraps. This report was prepared by the International Technology Division of the Los Alamos National Laboratory and Unidot, Inc., for the Office of International Security Affairs, U.S. Department of Energy. Appendix A is a general description of TECHINFO. This is an example of the attempts to automate the analysis of the growing number of computer and other sensitive technology exports for national security purposes. This focuses initially on computers (ECCN 1565A).