| Autor: |
Fuchssteiner, Benno, Drescher, Klaus, Kemper, Andreas, Kluge, Oliver, Morisse, Karsten, Naundorf, Holger, Oevel, Gudrun, Postel, Frank, Schulze, Thorsten, Siek, Gerald, Sorgatz, Andreas, Wiwianka, Waldemar, Zimmermann, Paul |
| Přispěvatelé: |
Proof, Symbolic Computation and Logic (EURECA), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique de Nancy (CRIN), Université Henri Poincaré - Nancy 1 (UHP)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique de Nancy (CRIN) |
| Jazyk: |
angličtina |
| Rok vydání: |
1996 |
| Předmět: |
|
| Zdroj: |
Wiley Ltd., pp.572, 1996 |
| Popis: |
International audience; no abstract |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
