Results
|
|
|
|
|
Reports of the Midwest Category Seminar [electronic resource] / by J. Bénabou, R. Davis, A. Dold, J. Isbell, S. MacLane, U. Oberst, J. -E. Roos. by
- Bénabou, J [author.]
- Davis, R [author.]
- Dold, A [author.]
- Isbell, J [author.]
- MacLane, S [author.]
- Oberst, U [author.]
- Roos, J. -E [author.]
- SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 47
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1967
Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Applications of Sheaves [electronic resource] : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 / edited by Michael Fourman, Christopher Mulvey, Dana Scott. by
- Fourman, Michael [editor.]
- Mulvey, Christopher [editor.]
- Scott, Dana [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 753
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979
Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Symposium on Automatic Demonstration [electronic resource] : Held at Versailles/France, December 1968 / edited by M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger. by
- Laudet, M [editor.]
- Lacombe, D [editor.]
- Nolin, L [editor.]
- Schützenberger, M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 125
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1970
Availability: No items available.
|
|
|
|
|
|
|
|
|
|