Mehmet Dincbas
According to our database1,
Mehmet Dincbas
authored at least 23 papers
between 1980 and 1999.
Collaborative distances:
Collaborative distances:
Timeline
1980
1982
1984
1986
1988
1990
1992
1994
1996
1998
0
1
2
3
4
5
6
1
1
1
1
1
1
1
1
1
5
2
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1999
1996
1995
Applications et évolutions du langage CHIP.
Proceedings of the JFPLC'95, 1995
1992
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1992
1991
Propositional Calculus Problems in CHIP.
Proceedings of the Constraint Logic Programming, 1991
1990
1989
Parallelism vs. Efficiency in Logic Programming.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
1988
Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, 1988
Solving a Cutting-Stock Problem in Constraint Logic Programming.
Proceedings of the Logic Programming, 1988
The Constraint Logic Programming Language CHIP.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
Solving the Car-Sequencing Problem in Constraint Logic Programming.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988
Proceedings of the 9th International Conference on Automated Deduction, 1988
1987
Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming.
J. Log. Program., 1987
Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987
Forward Checking in Logic Programming.
Proceedings of the Logic Programming, 1987
1986
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques.
Proceedings of the SPLT'86, 1986
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986
1984
Metacontrol of Logic Programs in Metalog.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984
1983
Nouvelle implémentation de METALOG.
Proceedings of the SPLT'83, 1983
LISLOG: L'an II.
Proceedings of the SPLT'83, 1983
1982
Programmation en logique en environnement Lisp.
Proceedings of the SPLT'82, 1982
1980
A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980