Authors: BIELIKOVA M NAVRAT P

Citation: M. Bielikova et P. Navrat, LEARNING PROGRAMMING IN PROLOG USING SCHEMATA, ACM SIGPLAN NOTICES, 33(2), 1998, pp. 41-47

Authors: BIELIKOVA M NAVRAT P

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

Authors: BIELIKOVA M NAVRAT P

Citation: M. Bielikova et P. Navrat, KNOWLEDGE-BASED METHOD FOR BUILDING A SOFTWARE SYSTEM CONFIGURATION, Knowledge-based systems, 9(1), 1996, pp. 61-65

Authors: NAVRAT P BIELIKOVA M

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

Authors: MATEJOVIC I BIELIKOVA M

Citation: I. Matejovic et M. Bielikova, EVALUATION OF THE ISOTACHOPHORETIC DETERMINATION OF NITRATES AND SULFATES IN PLANT MATERIALS, Fresenius' journal of analytical chemistry, 349(7), 1994, pp. 559-562