Author: Franz Baader
Publisher: Springer
Keywords: automated, deduction, lecture, proceedings, artificial, intelligence, august, notes, usa, international, cade, conference, miami, beach, july
Number of Pages: 503
Published: 2003-09-10
List price: $81.00
ISBN-10: 3540405593
ISBN-13: 9783540405597

This book constitutes the refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

Authors:Franz Baader, Andrei Voronkov,
Publisher: Springer
Keywords: artificial, intelligence, march, uruguay, proceedings, lecture, montevideo, notes, workshop, programming, reasoning, international, logic, lpar
Number of Pages: 562
Published: 2005-04-19
List price: $104.00
ISBN-10: 3540252363
ISBN-13: 9783540252368

Authors:Franz Baader, Tobias Nipkow,
Publisher: Cambridge University Press
Keywords: volume, rewriting, term
Number of Pages: 316
Published: 1999-08-28
List price: $45.00
ISBN-10: 0521779200
ISBN-13: 9780521779203

This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract reduction systems, termination, confluence, completion, and combination problems--but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases, and Buchberger’s algorithm. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). Key chapters cover crucial algorithms such as unification

Authors:Franz Baader, Diego Calvanese, Deborah McGuinness, Da
Publisher: Cambridge University Press
Keywords: implementation, applications, theory, handbook, logic, description
Number of Pages: 574
Published: 2003-03-24
List price: $167.99
ISBN-10: 0521781760
ISBN-13: 9780521781763

Description Logics are knowledge representation languages that have been studied extensively in artificial intelligence over the last two decades. This Handbook covers all aspects of research in this field; including theory, implementation, and applications. Its appeal is broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. The chapters by some of the most prominent researchers in the field first introduce the basic technical material

Authors:Iain M. Lonie,  Gerhard Baader, Fridolf Kudlie
Publisher: Walter de Gruyter
Keywords: diseases, ars, medica, child, nature, treatises, generation, hippocratic
Number of Pages: 406
Published: 1981-11-01
List price: unknow
ISBN-10: 3110079038
ISBN-13: 9783110079036

Authors:Franz Haeuser, Franz Hauser, Horst Hammen,
Publisher: Walter de Gruyter
Keywords: geburtstag, mai, zum, hadding, fa1, walther, festschrift
Number of Pages: 1238
Published: 2004-05
List price: $461.00
ISBN-10: 3899491416
ISBN-13: 9783899491418

Authors:Franz X. KSrtner, Franz X. Kärtner,
Publisher: Springer
Keywords: applications, generation, pulse, laser, cycle
Number of Pages: 400
Published: 2004-11-10
List price: $299.00
ISBN-10: 3540201157
ISBN-13: 9783540201151

The first half of the book covers the current physical principles, processes and design guidelines to generate pulses in the optical range comprising only a few cycles of light, such as generation of relatively low energy pulses at high repetition rates directly from the laser, parametric generation of medium energy pulses and high-energy pulses at low repetition rates using external compression in hollow fibers. The applications cover the revolution in frequency metrology and high resolution laser spectroscopy to electric field synthesis in the optical range as well as the emerging field of a