Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

Automated Reasoning on the Web.

Communications of Applied Logic, 2004.

Authors/Editors: S. Abdennadher
J. Alves Alferes
G. Antoniou
U. Assmann
R. Backofen
C. Baroglio
P. A. Bonatti
W. Drabent
N. Eisinger
N. E. Fuchs
T. Geisler
N. Henze
J. Maluszynski
M. Marchiori
A. Martelli
S. Carro Martine
S. Schaffert
M. Schroeder
K. U. Schulz
U. Schwertel
G. Wagner
Publication Date: 2004
Type of Publication: Konferenzen/Journale