{"product_id":"9780792351290","title":"Applied Logic Series","description":"\u003ch1\u003eApplied Logic Series\u003c\/h1\u003e \u003ch2\u003eBibel, Wolfgang; Schmitt, P.H.\u003c\/h2\u003e \u003cp\u003eThe nationwide research project `Deduktion', funded by the  `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years,  brought together almost all research groups within Germany engaged in  the field of automated reasoning. Intensive cooperation and exchange  of ideas led to considerable progress both in the theoretical  foundations and in the application of deductive knowledge. This  three-volume book covers these original contributions moulded into the  state of the art of automated deduction. \u003cbr\u003e  The three volumes are intended to document and advance a development  in the field of automated deduction that can now be observed all over  the world. Rather than restricting the interest to purely academic  research, the focus now is on the investigation of problems derived  from realistic applications. In fact industrial applications are  already pursued on a trial basis. In consequence the emphasis of the  volumes is not on the presentation of the theoretical foundations of  logical deduction as such, as in a handbook; rather the books present  the concepts and methods now available in automated deduction in a  form which can be easily accessed by scientists working in  applications outside of the field of deduction. This reflects the  strong conviction that automated deduction is on the verge of being  fully included in the evolution of technology. \u003cbr\u003e  Volume I focuses on basic research in deduction and on the knowledge  on which modern deductive systems are based. Volume II presents  techniques of implementation and details about system building. Volume  III deals with applications of deductive techniques mainly, but not  exclusively, to mathematics and the verification of software. \u003cbr\u003e  Each chapter was read by two referees, one an international expert  from abroad and the other a knowledgeable participant in the national  project. It has been accepted for inclusion on the basis of these  review reports. \u003cbr\u003e  \u003cem\u003eAudience:\u003c\/em\u003e Researchers and developers in software engineering,  formal methods, certification, verification, validation, specification  of complex systems and software, expert systems, natural language  processing.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1998-06-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792351290\u003c\/p\u003e \u003cp\u003eDOI: \u003c\/p\u003e \u003cp\u003eDimensions: 234cm x156cm\u003c\/p\u003e \u003cp\u003ePages: 481\u003c\/p\u003e ","brand":"Springer Netherlands","offers":[{"title":"Default Title","offer_id":45578564141196,"sku":"9780792351290","price":197.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792351290","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}