Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: Kluwer Academic Publishers, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Buch
gebundene Ausgabe. Hier nur Volume III. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 334 Seiten, Englisch 670g.
Verlag: Kluwer Academic Publishers, 1998
ISBN 10: 0792351304ISBN 13: 9780792351306
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Buch
gebundene Ausgabe. Hier nur Volume II. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Ehemaliges Bibliotheksexemplar, mit Schildchen auf dem Buchrücken, mit Stempel auf dem Buchschnitt. Buchrücken leicht bestoßen. XIV, 434 Seiten, Englisch 856g.
Verlag: Kluwer Academic Publishers, 1998
ISBN 10: 0792351290ISBN 13: 9780792351290
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Buch
gebundene Ausgabe. Hier nur Volume I. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XX, 480 Seiten, Englisch 940g.
Verlag: Springer, 2010
ISBN 10: 9048150523ISBN 13: 9789048150526
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Soft Cover. Zustand: new.
Verlag: Springer, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Soft Cover. Zustand: new.
Verlag: Springer, 2010
ISBN 10: 9048150523ISBN 13: 9789048150526
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: GreatBookPrices, Columbia, MD, USA
Buch
Zustand: New.
Verlag: Springer, 2010
ISBN 10: 9048150523ISBN 13: 9789048150526
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer Netherlands Jun 1998, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 356 pp. Englisch.
Verlag: Springer Netherlands Dez 2010, 2010
ISBN 10: 9048150523ISBN 13: 9789048150526
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 348 pp. Englisch.
Verlag: Springer Netherlands, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Verlag: Springer Netherlands, 2010
ISBN 10: 9048150523ISBN 13: 9789048150526
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Verlag: Springer Netherlands, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
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.
Verlag: Springer Netherlands, 2010
ISBN 10: 9048150523ISBN 13: 9789048150526
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
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.
Verlag: Kluwer Academic Publishers, Dordrecht / Boston, 1998
Anbieter: Antiquariat Andree Schulte, Grafschaft-Ringen, Deutschland
Verbandsmitglied: GIAQ
Buch
480 / 434 / 334 pp. Sprache: Deutsch Gewicht in Gramm: 2100 Large 8vo. Softcover, fine copy.
Verlag: Springer, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: GreatBookPrices, Columbia, MD, USA
Buch
Zustand: As New. Unread book in perfect condition.
Verlag: Springer, 2010
ISBN 10: 9048150515ISBN 13: 9789048150519
Anbieter: booksXpress, Bayonne, NJ, USA
Buch Print-on-Demand
Soft Cover. Zustand: new. This item is printed on demand.
Verlag: Springer, 1998
ISBN 10: 0792351290ISBN 13: 9780792351290
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Hardcover. Zustand: new.
Verlag: Springer, 2010
ISBN 10: 9048150507ISBN 13: 9789048150502
Anbieter: booksXpress, Bayonne, NJ, USA
Buch Print-on-Demand
Soft Cover. Zustand: new. This item is printed on demand.
Verlag: Springer, 1998
ISBN 10: 0792351304ISBN 13: 9780792351306
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Hardcover. Zustand: new.
Verlag: Springer Verlag, 2010
ISBN 10: 9048150523ISBN 13: 9789048150526
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Buch
Paperback. Zustand: Brand New. 346 pages. 9.25x6.10x0.80 inches. In Stock.
Verlag: Springer, 2010
ISBN 10: 9048150523ISBN 13: 9789048150526
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Buch
Zustand: New.
Verlag: Springer, 2010
ISBN 10: 9048150515ISBN 13: 9789048150519
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 2010
ISBN 10: 9048150507ISBN 13: 9789048150502
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 1998
ISBN 10: 0792351290ISBN 13: 9780792351290
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 1998
ISBN 10: 0792351304ISBN 13: 9780792351306
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 1998
ISBN 10: 0792351290ISBN 13: 9780792351290
Anbieter: GreatBookPrices, Columbia, MD, USA
Buch
Zustand: New.
Verlag: Springer, 1998
ISBN 10: 0792351312ISBN 13: 9780792351313
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Buch
Zustand: New. 1998. 1998th Edition. Paperback. A Basis for Applications. Foundations - Calculi and Methodss; Systems and Implementation Techniques. Series: Applied Logic Series. 347 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: UYQ. Dimension: 242 x 160 x 26. Weight: 650. . . . . .