Eintrag weiter verarbeiten
10th International Conference on Automated Deduction: Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete
Gespeichert in:
Zeitschriftentitel: | 10th International Conference on Automated Deduction |
---|---|
Personen und Körperschaften: | |
In: | 10th International Conference on Automated Deduction, 1990, S. 251-260 |
Medientyp: | E-Book-Kapitel |
Sprache: | Unbestimmt |
veröffentlicht: |
Springer Berlin Heidelberg
|