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 F. Bry W. Drabent N. Eisinger N. E. Fuchs T. Geisler N. Henze J. Maluszynski M. Marchiori A. Martelli S. Carro Martine H. Jürgen Ohlbach S. Schaffert M. Schroeder K. U. Schulz U. Schwertel G. Wagner |
|---|---|
| Publication Date: | 2004 |
| Type of Publication: | Konferenzen/Journale |