1
Theorem Proving in Higher Order Logics [E-Book] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
Other Personal Name(s): “...Brandt, Jens...”

Full text 
Favorites
Saved in:
2
Quantum computation and information : AMS Special Session Quantum Computation and Information, January 19-21, 2000, Washington, D.C [E-Book] /
Other Personal Name(s): “...Brandt, Howard E....”

Full text 
Favorites
Saved in:
3
Proceedings of the XIIth International Meeting on Reduced Enrichment for Research and Test Reactors : Berlin, 10.-14. September 1989 [E-Book] /
Thamm, G.
1991
Other Personal Name(s): “...Brandt, M....”

Full text  JuSER 
Favorites
Saved in:
4
Proceedings of the XIIth International Meeting on Reduced Enrichment for Research and Test Reactors : Berlin, 10.-14. September 1989 /
Book
Thamm, G.
1991
Other Personal Name(s): “...Brandt, M....”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results