Hans ohlbach (100 résultats)

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

Broschiert. Etat : Gut. 545 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Englisch Gewicht in Gramm: 720.

Paperback. Etat : Very Good-. Card cover rubbed, slight creasing at bottom corners and down spine; Pages lightly age-toned, previous owner's signature on ffep, a number of diagrams in text; Binding tight, though spine slightly cocked. ; Lecture Notes In Artificial Intelligence ; Vol. 827; 6.5 x 9.5"; 545 pages.…

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Softcover. 1993. XI, 397 S. : graph. Darst. ; 24 cm Unread book. Very good condition. Minimum traces of storage. 9783540566670 Sprache: Englisch Gewicht in Gramm: 635.

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Etat : New.

Etat : New.

Paperback or Softback. Etat : New. Gwai-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceed. Book.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

PF. Etat : New.

PF. Etat : New.

Etat : New.

Paperback. Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New. In English.

Etat : New.

Etat : New. In English.

Etat : New. In English.

Paperback or Softback. Etat : New. Design Patterns F�r Mathematische Beweise: Ein Leitfaden Insbesondere F�r Informatiker. Book.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : Brand New. 1st edition. 163 pages. German language. 9.25x6.00x0.25 inches. In Stock.

Etat : New. pp. 444.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the sixteenth GermanConference on Artificial Intelligence, held in the GustavStresemann Institute in Berlin from August 31 to September3, 1992. The volume contains 24 papers presentedin thetechnical sessions, 8 papers selected from the workshopcontributions, and an invited talk by D.M. Gabbay entitled'Howto construct a logic for your application'.Topics discussed in the technical papers include: a modelelimination calculus, a sorted logic, human theorem proving,deduction based on Shannon graphs, expert systemapplications, knowledge engineering, time interval networks,forward logic evaluation, concept support, heuristicinductivegeneralization, language engineering, featurelogic, similarity assessment, and many others.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The best informal de nition of the Semantic Web is maybe found in the May 2001Scienti cAmericanarticle'TheSemanticWeb'(Berners-Leeetal. ),which says'TheSemanticWebisanextensionofthecurrentWebinwhichinformation is given well-de ned meaning, better enabling computers and people to work in cooperation. ' People who work on the Semantic Web quite often base their work on the famous 'semantic web tower', a product of Tim Berners-Lee's inspiring drawing on whiteboards. The lowest level is the level of character representation (Unicode) and the identi cation of resources on the Web (URIs). The highest level concerns the problem of trusting information on the Web. Somewhere in the middle of the tower is the logic level. It addresses the problem of represe- ing information on the Web in a way so that inference rules can derive implicit information from explicitly stated information. The workshop 'Principles and Practices of Semantic Web Reasoning' (PPSWR 2004) addressed problems on this level. It took place in September 2004 as a satellite event of the 20th Int- national Conference on Logic Programming (ICLP) in St. Malo, France. After PPSWR 2003 in Mumbai, India, it was the second workshop in this series. This book contains the articles presented at the workshop.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields of logic, linguistics and computer science. His contributions in the areas of logic, language and reasoning are so numerous that a comprehensive survey would already fill half of this book. Instead of summarizing his work we decided to let him speak for himself. Sitting in a car on the way to Amsterdam airport he gave an interview to Jelle Gerbrandy and Anne-Marie Mineur. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic. In addition, this volume contains a partially annotated bibliography of his main papers and books. The length of the bibliography and the broadness of the topics covered there speaks for itself.…