Wyniki wyszukiwania dla: I.S.W.B. Prasetya
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 324-337
Theoretical Computer Science > 2003 > 290 > 2 > 1201-1222
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 324-337
Theoretical Computer Science > 2003 > 290 > 2 > 1201-1222