Eintrag weiter verarbeiten
Buchumschlag von 10th International Conference on Automated Deduction: Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete
Verfügbar über Online-Ressource

10th International Conference on Automated Deduction: Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: 10th International Conference on Automated Deduction
Personen und Körperschaften: Basin, David A.
In: 10th International Conference on Automated Deduction, 1990, S. 251-260
Medientyp: E-Book-Kapitel
Sprache: Unbestimmt
veröffentlicht:
Springer Berlin Heidelberg