Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Application software --- Object-oriented methods (Computer science) --- 681.3*D1 --- Object development methods (Computer science) --- Object orientation (Computer science) --- Object-oriented development (Computer science) --- Object technology (Computer science) --- System design --- 681.3*D1 Programming techniques--See also {681.3*E} --- Programming techniques--See also {681.3*E} --- Development of application software --- Development --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Object-oriented programming (Computer science). --- Object-Oriented --- 681.3*D20 --- Computerwetenschap--?*D20 --- Design: methodologies; representation (Software engineering) --- 681.3*D210 Design: methodologies; representation (Software engineering) --- 005.11 --- Object-oriented programming (Computer science) --- #KVIV:BB --- 654 --- AA / International- internationaal --- 681.3*D15 --- 681.3*D1 --- 681.3*D210 --- 681.3 --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- 681.3*D15 Software: object-oriented programming --- Software: object-oriented programming --- 681.3*D1 Programming techniques--See also {681.3*E} --- Programming techniques--See also {681.3*E} --- Informatieverwerking. Bureautica --- Computerwetenschap --- Programming --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Geografie --- Geografische Informatie Systemen --- Databanken.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP. The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces.

681.3*D1 --- Programming techniques--See also {681.3*E} --- 681.3*D1 Programming techniques--See also {681.3*E} --- Constraint programming (Computer science) --- Programmation par contraintes --- Congresses --- Congrès --- Computer science. --- Database management. --- Artificial intelligence. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Database Management. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of the 21 accepted research papers selected from a total of 52 submissions. The volume assembles high quality original papers covering major theoretical and practical issues of combining and extending programming paradigms, preferably by using constraints. The topics covered include symbolic constraints, set constraints, numerical constraints, multi-paradigm programming, combined calculi, constraints in rewriting, deduction, symbolic computations, and working systems.

Computer programming --- Logic, Symbolic and mathematical --- Computer Science --- Engineering & Applied Sciences --- Electronic digital computers --- -Logic, Symbolic and mathematical --- -681.3*D1 --- 681.3*F3 --- 681.3*F4 --- 681.3*I23 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- 681.3*D1 Programming techniques--See also {681.3*E} --- Programming techniques--See also {681.3*E} --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Programming --- -Congresses --- Congresses --- Computer science. --- Computer programming. --- Computers. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Theory of Computation. --- Mathematical Logic and Foundations. --- Logics and Meanings of Programs. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Logic [Symbolic and mathematical ] --- Information theory. --- Logic, Symbolic and mathematical. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- -Programming