Yazar

Joxan Jaffar

17 cilt bulundu.

Cilt sonuçları

Principles and Practice of Constraint Programming - CP'99

Joxan Jaffar · Springer

520 sayfa · 1999-09-29

Computers

Principles and Practice of Constraint Programming - CP'99

Joxan Jaffar · Springer

504 sayfa · 2014-03-12

Computers

Concurrency and Parallelism, Programming, Networking, and Security

Joxan Jaffar, Roland H.C. Yap · Springer Science & Business Media

420 sayfa · 1996-11-19

Computers

Logic programmingConstraint Logic Programming: a SurveyInternational Business Machines Corporation. Research Division, Joxan Jaffar, Michael J. Maher

Constraint Logic Programming: a Survey

International Business Machines Corporation. Research Division, Joxan Jaffar, Michael J. Maher · Yayınevi bilinmiyor

84 sayfa · 1994

Logic programming

Programming languages (Electronic computers)Semantics of Infinite Tree Logic ProgrammingJoxan Jaffar, P. J. Stuckey

Semantics of Infinite Tree Logic Programming

Joxan Jaffar, P. J. Stuckey · Yayınevi bilinmiyor

27 sayfa · 1985

Programming languages (Electronic computers)

Computer programmingMethodology and Implementation of a Constraint Logic Programming SystemJoxan Jaffar, Spiro Michaylov

Methodology and Implementation of a Constraint Logic Programming System

Joxan Jaffar, Spiro Michaylov · Yayınevi bilinmiyor

27 sayfa · 1986

Computer programming

Computer programmingConstraint Logic ProgrammingJoxan Jaffar, Jean-Louis Lassez, Thomas J. Watson IBM Research Center

Constraint Logic Programming

Joxan Jaffar, Jean-Louis Lassez, Thomas J. Watson IBM Research Center · Yayınevi bilinmiyor

39 sayfa · 1986

Computer programming

AlgorithmsMost General Solutions for Trees, Multisets and WordsJoxan Jaffar

Most General Solutions for Trees, Multisets and Words

Joxan Jaffar · Yayınevi bilinmiyor

214 sayfa · 1985

Algorithms

CiltEfficient Unification Over Infinite TermsJoxan Jaffar, Monash University. Department of Computer Science

Efficient Unification Over Infinite Terms

Joxan Jaffar, Monash University. Department of Computer Science · Yayınevi bilinmiyor

18 sayfa · 1984

Kategori yok

Computer programmingCanonical Greatest Fixpoints of Logic ProgramsJoxan Jaffar, Peter Stuckey

Canonical Greatest Fixpoints of Logic Programs

Joxan Jaffar, Peter Stuckey · Yayınevi bilinmiyor

19 sayfa · 1985

Computer programming

Automatic theorem provingA Decision Procedure for Theorems about MultisetsJoxan Jaffar

A Decision Procedure for Theorems about Multisets

Joxan Jaffar · Yayınevi bilinmiyor

36 sayfa · 1985

Automatic theorem proving

Computer programsVerification Decidability of Array Sorting ProgramsJoxan Jaffar

Verification Decidability of Array Sorting Programs

Joxan Jaffar · Yayınevi bilinmiyor

174 sayfa · 1981

Computer programs

Constraints (Artificial intelligence)Using constraints to model disjunctions in rule-based reasoningBing Liu, Joxan Jaffar

Using constraints to model disjunctions in rule-based reasoning

Bing Liu, Joxan Jaffar · Yayınevi bilinmiyor

16 sayfa · 1996

Constraints (Artificial intelligence)

Computer programmingThe CLP(R) Language and SystemCarnegie-Mellon University. Computer Science Dept, International Business Machines Corporation. Research Division, J. Jaffar, S. Michaylov, P. Stuckey, R. H. C. Yap

The CLP(R) Language and System

Carnegie-Mellon University. Computer Science Dept, International Business Machines Corporation. Research Division, J. Jaffar, S. Michaylov, P. Stuckey, R. H. C. Yap · Yayınevi bilinmiyor

70 sayfa · 1990

Computer programming

AlgorithmsA Decision Procedure for a Class of Set ConstraintsCarnegie-Mellon University. Computer Science Dept, N. Heintze, J. Jaffar

A Decision Procedure for a Class of Set Constraints

Carnegie-Mellon University. Computer Science Dept, N. Heintze, J. Jaffar · Yayınevi bilinmiyor

42 sayfa · 1991

Algorithms

Parallel processing (Electronic computers)On Parallel Unification for PrologJames Harland, Joxan Jaffar

On Parallel Unification for Prolog

James Harland, Joxan Jaffar · Yayınevi bilinmiyor

22 sayfa · 1986

Parallel processing (Electronic computers)

CiltA Logic Programming Language SchemeJoxan Jaffar, University of Melbourne. Department of computer science

A Logic Programming Language Scheme

Joxan Jaffar, University of Melbourne. Department of computer science · Yayınevi bilinmiyor

Sayfa sayısı yok · 1984

Kategori yok