Citation: P. Navrat et L. Molnar, CURRICULA TRANSFORMATION IN THE COUNTRIES IN TRANSITION - AN EXPERIENCE FROM SLOVAKIA, IEEE transactions on education, 41(2), 1998, pp. 88-91
Citation: M. Bielikova et P. Navrat, A PROLOG TECHNIQUE OF IMPLEMENTING SEARCH OF A O GRAPHS WITH CONSTRAINTS/, Computers and artificial intelligence, 16(4), 1997, pp. 377-400
Citation: P. Navrat et V. Rozinajova, KNOWLEDGE-BASED PROGRAMMING - AN EXPERIMENT IN SELECTING A DATA TYPE, Arab Gulf journal of scientific research, 14(1), 1996, pp. 79-100
Citation: M. Bielikova et P. Navrat, KNOWLEDGE-BASED METHOD FOR BUILDING A SOFTWARE SYSTEM CONFIGURATION, Knowledge-based systems, 9(1), 1996, pp. 61-65
Citation: P. Navrat, A CLOSER LOOK AT PROGRAMMING EXPERTISE - CRITICAL SURVEY OF SOME METHODOLOGICAL ISSUES, Information and software technology, 38(1), 1996, pp. 37-46
Citation: P. Navrat et M. Bielikova, REPRESENTING CALENDRICAL ALGORITHMS AND DATA IN PROLOG AND PROLOG-IIILANGUAGES, ACM SIGPLAN NOTICES, 30(7), 1995, pp. 45-51