Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Details

Autor(en) / Beteiligte
Titel
Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers [Elektronische Ressource]
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
1996
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Sofern kein Zugang über ein Universitätsnetz zur Verfügung steht, kann eine Registrierung zur kostenlosen Nutzung erfolgen: http://www.nationallizenzen.de
Sprache
Englisch
Identifikatoren
ISBN: 9783540612544, 9783540683896
OCLC-Nummer: 793077641, 793077641
Titel-ID: 990198812670206441
Format

Angaben zur Sekundärform

Teil von
Springer Lecture Notes Archive