Limit Search Results
Author
Farrell, Joyce
(9)
Bohl, Marilyn
(4)
Rynn, Maria, 1953-
(4)
Dahl, Veronica
(3)
Osborne, Adam
(3)
Language
Format
Material Type
Subject
Logic programming
(62)
Electronic digital computers -- Programming
(16)
Logic, Symbolic and mathematical
(16)
Logic design
(14)
Logic programming -- Congresses
(10)
Switch to list view
Switch to thumbnail view
Select an Action
171 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000MAIN
Print
1. 
Cover image for Logic programming
2. 
Cover image for Logic programming
3. 
Cover image for Parallel logic programming
4. 
Cover image for Logic and programming
5. 
Cover image for Business programming logic
6. 
Cover image for Programming logic and design
7. 
Cover image for Programming logic for business
8. 
Cover image for Algebraic and logic programming
9. 
Cover image for Fuzzy-logic-based programming
10. 
Cover image for Logic programming : new frontiers
11. 
Cover image for Introduction to logic programming
12. 
Cover image for Introduction to logic programming
13. 
Cover image for Foundations of logic programming
14. 
Cover image for The logic of programming
15. 
Cover image for Logic programming : systematic program development
16. 
Cover image for Deductive databases and logic programming
17. 
Cover image for Programming logic and design, introductory
18. 
Cover image for Programming logic and design introductory
19. 
Cover image for Programming logic and design, comprehensive
20. 
Cover image for Programming logic and design : introductory
21. 
Cover image for Programming Logic and Design : Comprehensive
22. 
Cover image for Programming logic and design : introductory
23. 
Cover image for Programming logic and design, comprehensive
24. 
Cover image for Logic programming and knowledge engineering
25. 
Cover image for Studies in automatic programming logic
26. 
Cover image for 8080 programming for logic design
27. 
Cover image for PROGRAMMING LOGIC AND DESIGN, COMPREHENSIVE
28. 
Cover image for Programming logic and design, introductory version
29. 
Cover image for Programming logic and design, comprehensive version
30. 
Cover image for Mathematical aspects of logic programming semantics
31. 
Cover image for Fuzzy logic theory, programming and applications
32. 
Cover image for Constraint logic programming using eclipse
33. 
Cover image for Digital logic simulation with CPLD programming
34. 
Cover image for Digital logic simulation and CPLD programming
35. 
Cover image for Computer programming logic using flowcharts
36. 
Cover image for A grammatical view of logic programming
37. 
Cover image for The programming logic device handbook
38. 
Cover image for Systems programming in parallel logic langauages
39. 
Cover image for Logic programming : prolog and its applications
40. 
Cover image for Z80 programming for logic design
41. 
Cover image for Logic programming and its applications
42. 
Cover image for Natural language understanding and logic programming, II
43. 
Cover image for Programmable logic controllers : programming methods and applications
44. 
Cover image for Programmable logic controllers : programming methods and applications
45. 
Cover image for Logic programming : formal methods and practical applications
46. 
Cover image for Programmable logic controllers : operation, interfacing and programming
47. 
Cover image for Computing with logic : logic programming with Prolog
48. 
Cover image for P-Prolog : a parallel logic programming language
49. 
Cover image for Cobol logic and programming : a structured approach
50. 
Cover image for Introduction to programming logic for business applications
51. 
Cover image for Principles of ladder logic programming 5009D
52. 
Cover image for Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings
53. 
Cover image for Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers.
54. 
Cover image for Fuji International Workshop on Functional and Logic Programming, Susono, Japan, July 17-19, 1995
55. 
Cover image for Logic programming : proceedings of the fifth international conference and symposium
56. 
Cover image for Hardware/software system-on-chip co-verification platform based on logic-based environment for application programming interfacing
57. 
Cover image for Hardware/software system-on-chip co-verification platform based on logic-based environment for application programming interfacing
58. 
Cover image for Java programs to accompany programming logic and design
59. 
Cover image for Microsoft Visual Basic Programs to accompany programming logic and design / by Jo Ann Smith
60. 
Cover image for C++ Programs to accompany programming logic and design
61. 
Cover image for Fuzzy logic, neural network and genetic algorithms handbook : theory, programming and applications
62. 
Cover image for The nonlinear workbook : chaos, fractals, cellular automata, genetic algorithms, gene expression programming, support vector machine, wavelets, hidden Markov models, Fuzzy logic with C++, Java and SymbolicC++ programs
63. 
Cover image for An object-oriented approach to programming logic and design
64. 
Cover image for Tools for structured and object-oriented design an introduction to programming logic
65. 
Cover image for Tools for structured and object-oriented design : an introduction to programming logic
66. 
Cover image for The nonlinear workbook : chaos, fractals, cellular automata, neural networks, genetic algorithms, gene expression programming, wavelets, fuzzy logic with C++, java and symbolic C++ programs
67. 
Cover image for Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
68. 
Cover image for An inductive logic programming approach to statistical relational learning
69. 
Cover image for An object-oriented approach to programming logic and design
70. 
Cover image for Parallel and distributed logic programming : towards the design of a framework for the next generation database machines
71. 
Cover image for Smart engineering system design : neural networks, fuzzy logic, evolutionary programming, data mining and complex systems : proceedings of the Artificial Neural Networks in Engineering Conference (ANNIE 2000), held November 7-10, 2004, in St. Louis, Missouri, U.S.A.
72. 
Cover image for LogixPro PLC simulator : to accompany programming logic controllers using the rockwell SLC
73. 
Cover image for Digital logic simulation and CPLD programming with VHDL
74. 
Cover image for The nonlinear workbook : chaos, fractals, cellular automata, neural networks, genetic algorithms, gene expression programming, wavelets, fuzzy logic with C++, java and symbolic C++ programs
75. 
Cover image for A study on conversion algorithm for a PLC relay ladder logic programming
76. 
Cover image for The application of computer software to analyze the process flow and factory automation; Programmable positioning control for X-Y table; Multimedia application for iqra' based learning and reciting the quraan using hypercard 2.2; Penggunaan programmable logic controller (PLC) dalam pengawalan kenderaan melalui sistem pungutan tol (EK13D); Object-oriented programming of an expert system shell
77. 
Cover image for Prolog ++ : the power of object-oriented and logic programming
78. 
Cover image for LISP, lore, and logic : an algebraic view of LISP programming, foundations, and applications
79. 
Cover image for Why prolog? : justifying logic programming for practical applications
80. 
Cover image for Parallel logic programming in PARLOG : the language and its implementation
81. 
Cover image for Learning computer programming : structured logic, algorithms and flowcharting
82. 
Cover image for A programming logic : with an introduction to the PL/CV verifier
83. 
Cover image for Topics in mathematics : models, logic, number theory, graph theory, probability, statistics, computer programming
84. 
Cover image for Introduction to flow charting and computer programming logic
85. 
Cover image for Logic programming : proceedings of the North American Conference 1989
86. 
Cover image for DIGITAL LOGIC WITH AN INTRODUCTION TO VERILOG AND FPGA - BASED DESIGN
87. 
Cover image for Foundations of fuzzy logic and Semantic Web languages
88. 
Cover image for A hybrid clonal selection algorithm with conflict based ststistics for university course timetabling
89. 
Cover image for Practical foundations for programming languages
90. 
Cover image for A hybrid clonal selection algorithm with conflict based ststistics for University course timetabling
91. 
Cover image for CUDA programming : a developer's guide to parallel computing with GPUs
92. 
Cover image for Quantitative logic and soft computing : proceedings of the Ql&Sc 2012, Xi'an, China, 12-15 May 2012
93. 
Cover image for Hybrid particle swarm optimization-constraint-based reasoning in solving universiti course timetabling problem
94. 
Cover image for Uncertainty treatment using paraconsistent logic : introducing paraconsistent artificial neural networks
95. 
Cover image for Logics and languages for reliability and security
96. 
Cover image for Discrete structures, logic, and computability
97. 
Cover image for Management of knowledge imperfection in building intelligent systems
98. 
Cover image for Logics of specification languages
99. 
Cover image for Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, October/NovemberGermany, October 31 - November 1, 2008 : proceedings
100. 
Cover image for Logic synthesis for compositional microprogram control units
101. 
Cover image for Logical and relational learning
102. 
Cover image for Logic for computer scientists
103. 
Cover image for Selected topics in aeronautical engineering research
104. 
Cover image for Pengaturcaraan logik
105. 
Cover image for Web reasoning and rule systems: first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, proceedings
106. 
Cover image for Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: Proceedings
107. 
Cover image for Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers
108. 
Cover image for Evolvable hardware
109. 
Cover image for Development of fuzzy logic models for single point turning operation using MATLAB logic toolbox
110. 
Cover image for Digital fundamentals with PLD programming
111. 
Cover image for Digital fundamentals with PLD programming
112. 
Cover image for Logik pengaturcaraan komputer
113. 
Cover image for Development of fuzzy logic models for single point turning operation using MATLAB logic toolbox
114. 
Cover image for Adapting proofs-as-programs : the curry - howard protocol
115. 
Cover image for Development of initial fuzzy expert system for turning operation
116. 
Cover image for Development of initial fuzzy expert system for turning operation
117. 
Cover image for Machine learning applications in software engineering
118. 
Cover image for Arithmetic and logic in computer systems
119. 
Cover image for Tools for structured and object-oriented design an introduction to programmed logic
120. 
Cover image for Tools for structured and object-oriented design : an introduction to programmed logic
121. 
Cover image for Logic for concurrency and synchronisation
122. 
Cover image for Sistem pemantauan projek pembinaan berasaskan web bagi Syarikat Perniagaan Rahmat
123. 
Cover image for Sistem penjadualan pembentangan projek 1 dan 2 bagi Jabatan Permodelan dan Pengkomputeran Industri
124. 
Cover image for Logic and structured design for computer programmers
125. 
Cover image for Sistem pembelajaran litar logik berasaskan web
126. 
Cover image for Pakej pembelajaran rekabentuk Litar Logik
127. 
Cover image for Program logic control (PLC) training kit
128. 
Cover image for Kawalan dan pegoptimuman sistem penghantaran dan penjanaan kuasa elektrik untuk sistem kuasa elektrik
129. 
Cover image for Speaker recognizer based on linear predictive coding (LPC) and dynamic time warping (DTW) ... [et al.]
130. 
Cover image for Programming with constraints : an introduction
131. 
Cover image for Simulasi pergerakan robot menggunakan kawalan logik fuzzy
132. 
Cover image for Frill, fuzzy and evidential reasoning in artificial intelligence
133. 
Cover image for Fril, fuzzy and evidential reasoning in artificial intelligence
134. 
Cover image for Fundamentals of computing I : logic, problem solving, programs and computers : C++ laboratory manual
135. 
Cover image for Logic program synthesis from incomplete information
136. 
Cover image for Fundamentals of computing I : logic, problem solving, programs, and computers
137. 
Cover image for Logics in artificial intelligence
138. 
Cover image for Multiprocessor execution of logic programs
139. 
Cover image for Fundamentals of computing I : logic, problem solving, programs and computers
140. 
Cover image for Techniques of prolog programming : with implementation of logical negation and quantified goals
141. 
Cover image for Constructing logic programs
142. 
Cover image for Logic and structured design for computer programmers
143. 
Cover image for Sistem kemasukan data dan sistem penerimaan pembayaran; Sistem pungutan cukai di Jabatan aKastam dan Eksais di Raja Malaysia; Utiliti mencetak fail teks di sistem pengoperasian VM; Pembangunan sistem gaji - Fasa 2; Sistem bantuan keputusan dan pengurusan kewangan peribadi (PERFIMA); Penyediaan tatacara pengauditan bagi sistem gaji berkomputer; Sistem maklumat bidang kepakaran Institut Sains Komputer, UTM; Sistem bantuan keputusan (Dialog); Pakej CAI untuk logik berangka; Sistem bantuan keputusan (DSS) pengurusan pelajar dan pensyarah Institut Sains Komputer Kuala Lumpur
144. 
Cover image for Pakej CAI untuk logik berangka
145. 
Cover image for Logic and prolog
146. 
Cover image for Artificial intelligence in simulation
147. 
Cover image for Penggunaan komputer perniagaan syarikat penanggung insurans; Pendekatan 1-2-3 untuk pengatur-pengaturcaraan linear;Sistem simulasi litar logik; Sistem pencartaan intereksif; Kajian kegunaan corak semantik permukaan dalam analisa Bahasa Malaysia; Asas pelajaran jawi untuk murid-murid tahap 1 KBSR; Sistem rekod kesalahan perancangan di Jabatan Perancang dan Kawalan Pengunaan Dewan Bandaraya Kuala Lumpur
148. 
Cover image for Logic-based knowledge representation
149. 
Cover image for An introduction to default logic
150. 
Cover image for Natural language understanding
151. 
Cover image for Temporal logics and their applications
152. 
Cover image for Analisis kandungan kuprum dan besi di dalam minyak kelapa sawit dengan menggunakan analisis pengaktifan neutron ; Penentuan kandungan zink dalam rambut pesakit-pesakit kanser menggunakan spektroskopi serapan atom ; Mengukur entalpi pembakaran minyak masak menggunakan kalorimeter bom adiabatik ; Penyerapan dan sinaran cahaya bagi bahan semikonduktor ; Fotolisis 3 - asetalkumarin menggunakan pelarut metanol ; Merekabentuk satu alat antara muka (interface) yang menghubungkan komputer Billing dengan Poltter x-y ; Menyemak serta menyusun semula buku teks fizik moden (sukatan pelajaran Malaysia) tingkatan IV bab 3 (pepejal, cecair dan gas) ; Penyusunan buku teks fizik untuk kegunaan tingkatan empat (tenaga) ; Penggunaan komputer dalam pendidikan dan pengajaran matematik sekolah-sekolah menengah ; Merekabentuk suatu alat analisis logik ; Program penganalisa data berinteraktif ; Menggubal kurikulum untuk pembantu-pembantu makmal sekolah
153. 
Cover image for Analisis kandungan kuprum dan besi di dalam minyak kelapa sawit dengan menggunakan analisis pengaktifan neutron; Penentuan kandungan zink dalam rambut pesakit-pesakit kanser menggunakan spektroskopi serapan atom; Mengukur entalpi pembakaran minyak masak menggunakan kalorimeter bom adiabatik; Penyerapan dan sinaran cahaya bagi bahan semikonduktor; Fotolisis 3 - asetkumarin menggunakan pelarut metanol; Merekabentuk satu alat antara muka (interface) yang menghubungkan komputer Billing dengan Plotter x-y; Menyemak serta menyusun semula buku teks fizik moden (sukatan pelajaran Malaysia) tingkatan IV bab 3 (pepejal, cecair dan gas); Penyusunan buku teks fizik untuk kegunaan tingkatan empat (tenaga); Penggunaan komputer dalam pendidikan dan pengajaran matematik sekolah-sekolah menengah; Merekabentuk suatu alat analisis logik; Program penganalisa data berinteraktif; Menggubal kurikulum untuk pembantu-pembantu makmal sekolah
154. 
Cover image for The logical basis for computer programming
155. 
Cover image for Structured data processing design and logic
156. 
Cover image for Logic and structured design for computer programmers
157. 
Cover image for Structure, logic, and program design
158. 
Cover image for On the conversion of structured specifications to logic programs
159. 
Cover image for Problem-solving principles for Pascal programmers : applied logic, psychology and grit
160. 
Cover image for Mathematical logic in computer science
161. 
Cover image for Mathematical foundation of programming
162. 
Cover image for Problem-solving principles for programmers : applied logic, psychology, and grit
163. 
Cover image for Computer arithmetic
164. 
Cover image for Logic for problem solving
165. 
Cover image for 6800 pragramming for logic design
166. 
Cover image for Decision table languages and systems
167. 
Cover image for Flowcharting : a tool for understanding computer logic
168. 
Cover image for A connectionist epistemology
169. 
Cover image for Treating coordination in logic grammars
170. 
Cover image for Oreating coordination in logic grammers
171. 
Cover image for From petri net based PLCs to knowledge based control