Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Group actions and vector fields proceedings of a Polish-North American seminar held at the University of British Columbia, January 15 - February 15, 1981 ed. by J. B. Carrell von Carrell, James B, 1940- [Hrsg.] University of British Columbia [oth] Polish North American Seminar on Group Actions and Vector Fields 1981 Vancouver, British Columbia [oth] Reihen: ; 95600 \| Lecture notes in mathematics ; 956 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin, Heidelberg [usw.] Springer 1982 Online-Ressourcen: Cover Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 956. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California ed. by Myla Archer .. von International Workshop on HOL Theorem Proving System and Its Applications 4 1991 Davis, Calif [aut] Archer, Myla [Hrsg.] University of Idaho [oth] University of British Columbia [oth] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Los Alamitos, Calif. [u.a.] IEEE Computer Society Press 1992 Weitere Titel: HOL 91 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOL 1991. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha