🚀 go-pugleaf

From: Hans Juergen Ohlbach <ohlbach@uklirb.informatik.uni-kl.de>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Tue, 19 Jun 90 23:28:04 MET DST
Subject: Neue Buchreihe
Keywords: 

mod-ki message 0486
************************************************************************
       Automated Reasoning Series, Kluwer Academic Publishers
 
                    -- Preliminary Announcement --
 
 
Automated reasoning is concerned with the development of computer
programs that assist in solving problems and answering questions that
require logical reasoning.  This field has been investigated for over
three decades and has reached a point where it can make significant
contributions to computer science, mathematics, and logic.  The
Automated Reasoning Series will bring this research to a wider
audience.
 
This series of books is intended to provide a forum for the
publication of manuscripts concerned with any aspect of Automated
Reasoning.  The topics of interest include (but are not limited to):
 
Theorem Proving                     Computational Logic
Unification                         Deductive Databases
Term Rewriting                      Logic Programming
Decision Procedures                 Inference Systems
Program Verification/Synthesis      Applications
 
The Automated Reasoning Series is devoted to recording significant
technical work on fundamental research issues in automated reasoning
and areas where automated reasoning can be beneficial to problem
solving.  Manuscripts are solicited that range from theoretical
results to applications and techniques.  Manuscripts that make a
useful contribution to the literature and have a wide appeal among
researchers and students will also be considered.  Each book will
focus on an aspect of automated reasoning.
 
 
Series Editorial Board
 
Deepak Kapur             State University of New York at Albany
Hans Juergen Ohlbach     Universitaet Kaiserslautern
Lawrence Paulson         Cambridge University
Mark Stickel             SRI International
Richard Waldinger        SRI International
Larry Wos                Argonne National Laboratory
 
 
Prospective authors for the Automated Reasoning Series should
contact:
 
William Pase                        Martin Scrivener
Odyssey Research Associates         Kluwer Academic Publishers
265 Carling Avenue, Suite 506       Spuiboulevard 50
Ottawa, Ontario  K1S 2E1            P.O. Box 17
(613) 238-7900                      3300 AA Dordrecht
Internet:  bill@ora.on.ca           The Netherlands
                                    (0) 78-334207
                                    Internet:  surf404@kub.nl
************************************************************************