Search Results - Constraint Logic Programming Systems
-
1
Authors: James H. Andrews
Source: Lecture Notes in Computer Science ISBN: 9783540578802
Subject Terms: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Software
Access URL: https://link.springer.com/content/pdf/10.1007%2F3-540-57880-3_5.pdf
https://dblp.uni-trier.de/db/conf/esop/esop94.html#Andrews94
https://www.sciencedirect.com/science/article/pii/0167642395000119
https://link.springer.com/content/pdf/10.1007%2F3-540-57880-3_5.pdf
https://www.sciencedirect.com/science/article/abs/pii/0167642395000119
https://link.springer.com/chapter/10.1007/3-540-57880-3_5
https://rd.springer.com/chapter/10.1007/3-540-57880-3_5 -
2
Authors:
Source: International Journal of Artificial Intelligence in Education. 2009 19(4):381-400.
Peer Reviewed: Y
Page Count: 20
Descriptors: Intelligent Tutoring Systems, Logical Thinking, Programming, Models, Identification, Error Patterns, Students, Intention, Feedback (Response), Program Validation, Programming Languages, Semantics
-
3
Authors: Peter J. Stuckey
Source: Information and Computation. 118:12-33
Subject Terms: Computational Theory and Mathematics, constraint logic programming systems, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, constructive negation, Theoretical Computer Science, Information Systems, Computer Science Applications
File Description: application/xml
Access URL: https://www.sciencedirect.com/science/article/abs/pii/S0890540185710486
https://dblp.uni-trier.de/db/journals/iandc/iandc118.html#Stuckey95
https://www.sciencedirect.com/science/article/pii/S0890540185710486
https://core.ac.uk/display/22613748
https://research.monash.edu/en/publications/negation-and-constraint -logic -programming -
4
Authors:
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)
Access URL: http://arxiv.org/abs/1307.8389
-
5
Authors: et al.
Contributors: et al.
Source: Proceedings of the Practical Application of Constraint Logic Programming (PACLP) Conference Practical Application of Constraint Logic Programming (PACLP).
Subject Terms: Natural Sciences, Computer and Information Sciences, Computer Sciences, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (Datalogi)
File Description: electronic
-
6
Authors:
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, D.1.6, D.3, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)
Access URL: http://arxiv.org/abs/1112.4993
-
7
Authors:
Source: XPRESS – Initiative for excellence in production research CIRP annals. 42(1):425-428
Subject Terms: Interactive design systems, Automated design, Constraint Logic Programming, Production Engineering, Industriell produktion
File Description: electronic
-
8
Authors:
Source: DTIC AND NTIS
Index Terms: Computer Programming and Software, COMPUTER LOGIC, COMPUTER PROGRAMMING, RULE BASED SYSTEMS, REQUIREMENTS, ABSTRACTS, CASE STUDIES, MACHINES, NUMBERS, COMPILERS, APPROACH, REAL NUMBERS, INTERPRETERS, LOGIC, POWER, LANGUAGE, COSTS, EFFICIENCY, PROGRAMMING LANGUAGES, METHODOLOGY, LOGIC PROGRAMMING, Text
-
9
Authors:
Source: コンピュータ ソフトウェア / Computer Software. 1992, 9(6):6-461
-
10
Authors:
Source: Journal of the Robotics Society of Japan. 1996, 14(2):287
-
11
Authors:
Contributors:
Source: Expert Systems with Applications. 238:121810
-
12
Authors:
Source: Information Systems. Mar2019, Vol. 81, p152-177. 26p.
-
13
Authors: et al.
Source: Annals of computer science and information systems, Vol 18, Pp 733-742 (2019)
Subject Terms: Information technology, T58.5-58.64, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
14
Authors:
Source: The Journal of the Operational Research Society, 1997 Dec 01. 48(12), 1178-1190.
Access URL: https://www.jstor.org/stable/3010748
-
15
Authors: Gallego Arias, Emilio Jesús
Thesis Advisors: Mariño y Carballo, Julio, Lipton, James B.
Subject Terms: Informática
Access URL: http://hdl.handle.net/10803/452285
-
16
Authors: et al.
Contributors: et al.
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Source: Bibliografia na stronie 742.
-
18
Authors: et al.
Source: Journal of biomedical informatics [J Biomed Inform] 2013 Apr; Vol. 46 (2), pp. 341-53. Date of Electronic Publication: 2013 Jan 30.
Publication Type: Journal Article; Research Support, Non-U.S. Gov't
Journal Info: Publisher: Elsevier Country of Publication: United States NLM ID: 100970413 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1532-0480 (Electronic) Linking ISSN: 15320464 NLM ISO Abbreviation: J Biomed Inform Subsets: MEDLINE
-
19
Authors:
Source: Annals of Operations Research; 1998, Vol. 81 Issue 1-4, p467-495, 29p
-
20
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy
PDF Full Text ePub Full Text
Full Text Finder 
Nájsť tento článok vo Web of Science