PETAR HOTOMSKI, Ph.D., Doctor of Mathematics, Professor at University in Novi Sad, Yugoslavia.

Author and designer of DEDUC system. Team leader.

Born in 1944, graduated at Belgrade University, department of Mathematics in 1967. Became Master of Science in Mathematics in 1970 at the same University. Master's thesis: "Minimizing the functions of algebra logic and program algorithmization of methods". Doctoral thesis: "Methods and rules for automatic theorem proving of the first order theories with Mathematical Induction", Belgrade University, department of Mathematics, 1982. Personal achievements in theory he implemented in the first Theorem Prover with Resolution, Mathematical Induction and Symmetry as a part of the Expert System "Graph" implemented in FORTRAN. Published more than 170 scientific and technical publications. Professor of "Mathematical Logic and principles of programming" and "Systems of Artificial Intelligence" at "Mihajlo Pupin", University of Technical Sciences in Zrenjanin.

IVANA BERKOVIC, Ph.D., Doctor of Technical Sciences - Informatics in education, Docent at University in Novi Sad, Yugoslavia.

Author of DEDUC's deductive mechanism.

Born in 1962. Graduated at University in Novi Sad, department of Mathematics in1986. Master's thesis: "Variable search strategies in educational oriented system for automatic theorem proving", "Mihajlo Pupin", University of Technical Sciences in Zrenjanin, 1994. Doctoral thesis: "Deductive bases for developing of descriptive languages of logic programming", "Mihajlo Pupin", 1997. Personal achievements in theory she implemented in "ADT", system for automatic reasoning, (Pascal). Published more than 40 scientific and technical publications. Docent of "Mathematical Logic in technical systems" and "Computer graphics" at "Mihajlo Pupin", University of Technical sciences in Zrenjanin.

DRAGAN PROHASKA, Master of Science in Informatics, Engineer.

Co-author in design of DEDUC and author of many programs, database design, user interfaces, screen display and printing of generated schedules within system DEDUC.

Born in 1955. Graduated at Belgrade University, department of Forestry in 1979. Master's thesis: "Deductive method of generating combinatorial schedules and its program algorithmization", "Mihajlo Pupin", 1994. Personal achievements in theory he implemented in the first version of DEDUC in programming language FoxPro. Published about ten scientific and technical publications. Manager and leader of the computing center in the biggest Post and Telecommunication Corporation of Yugoslavia "JP PTT".

NEDELJKO DIVJAK, graduated at "Mihajlo Pupin", University of Technical sciences, Zrenjanin, Yugoslavia, group "Informatics in education" in 2000.

Co-author in design and author of programs for main processing in DEDUC: initial loading, storing, gaps optimization in students and teachers' schedules. He developed Object Oriented implementation of many heuristic iterative procedures and security in DEDUC.

Born in 1973. Developed and implemented special Pit-technique for working in the "closed world". Published about ten scientific and technical publications. Student - Vice Dean at "Mihajlo Pupin" University.

BILJANA RADULOVIC, Ph.D., Doctor of Technical Sciences - Informatics in education, Docent at University in Novi Sad, Yugoslavia.

Technical consultant and sales manager for the DEDUC project.

Born in 1966. Graduated Business Economics in 1988. Master of Science since 1993. Master's thesis: "Methodologies for evaluation of database manager software in education", "Mihajlo Pupin". Doctoral thesis: "Designing deductive databases for the educational softwares", "Mihajlo Pupin", 1998. Achievements in theory she implemented in the system "BASELOG". "BASELOG" merges concepts of "closed world" in Prolog and Datalog with concept of "open world" in the "ADT" system. Published more then 25 scientific and technical publications. Docent of "Databases" and "Information Systems" at "Mihajlo Pupin", University of Technical sciences in Zrenjanin.

DUSKO RADISIC, graduated at "Mihajlo Pupin", University of Technical sciences, Zrenjanin, Yugoslavia, group "Informatics in education" in 2001.

Designed and implemented security in DEDUC, prevention of illegal copying.

Born in 1972. Author of the "Contact Language English dictionary", software with more than 60 various features for translations from English to Serbian and from Serbian to English. Published several technical publications.

Students Zoran Velickov, Aleksandar Tot and Nedeljko Curic also have contributed to the system "DEDUC" through their research work.

Thanks to all who have been encouraging us for many years to persevere in our work on DEDUC.