Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Annals of Mathematics and Artificial Intelligence

Issue 3/2002

Content (6 Articles)

Foreword

Foreword

Formal Proofs About Rewriting Using ACL2

José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos

Composite Distributive Lattices as Annotation Domains for Mediators

Jacques Calmet, Peter Kullmann, Morio Taneda

Modeling Connectionist Network Structures: Some Geometric and Categorical Aspects

Jochen Pfalzgraf

Reasoning about the Elementary Functions of Complex Analysis

Russell Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt

Volume Contents

Annals of Mathematics and Artificial Intelligence

Sep 02
Issue: 1-2/2002
Dec 02
Issue: 4/2002

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits