Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may encounter, proposing various methods for solving them. The basic material is presented in depth; advanced material, involving new logic grammar formalisms and applications, is presented with a view towards breadth. Major sections of the book include: grammars for formal language and linguistic research, writing a simple logic grammar, different types of logic grammars, applications, and logic grammars and concurrency. This book is intended for those interested in logic programming, artificial intelligence, computational linguistics, Fifth Generation computing, formal languages and compiling techniques. It may be read profitably by upper-level undergraduates, post-graduate students, and active researchers on the above-named areas. Some familiarity with Prolog and logic programming would be helpful; the authors, however, briefly describe Prolog and its relation to logic grammars. After reading Logic Grammars, the reader will be able to cope with the ever-increasing literature of this new and exciting field.

This book provides an accelerated introduction to Maple for scientific programmers who already have experience in other computer languages (such as C, Pascal, or FORTRAN). It gives an overview of the most commonly used constructs and an elementary introduction to Maple programming. The new edition is substantially updated throughout. In particular, there are new programming features especially modules, nested lexical scopes, documentation features, and object-oriented support), a new solution of differential equations, and new plotting features.

"Gratzer’s book is a solution."
-European Mathematical Society Newsletter
For close to two decades, Math into Latex has been the standard introduction and complete reference for writing articles and books containing mathematical formulas. In this fourth edition, the reader is provided with important updates on articles and books. An important new topic is discussed: transparencies (computer projections).

Für Studenten und Schüler im Bereich Informatik, Wirtschaftsinformatik oder ähnliche! Rocke Deine Klausur im Studium!