Search ResultsElektronik Kaynaklar
by
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
Format:
Eylem Seç