References of "IT-Information Technology"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailHigher-Order Theorem Proving and its Applications
Steen, Alexander UL

in IT-Information Technology (2019), 61(4), 187-191

Detailed reference viewed: 119 (3 UL)