„logic programming“

Suchergebnisse

2.836 Treffer

• Learning Gear: Microprocessor, Microcontroller and PLC – Learning Tool of Programming
  Shah, Krupali 2012 LAP LAMBERT Academic Publishing
• Knowledge bases in the World Wide Web – a challenge for logic programming
  Boley, Harold 1996 DFKI
• Proceedings of the poster session of ALP '96 - Fifth International Conference on Algebraic and Logic Programming
  Hanus, Michael 1996 RWTH, Fachgruppe Informatik
• Biological Sequence Matching – Using Boolean Algebra and Fuzzy Logic: A Comparative Analysis
  Gill, Nivit ; Singh, Shailendra 2012 LAP LAMBERT Academic Publishing
• An approach to logic, object oriented concurrent robot programming and performance aspects
  Pollmann, Alfried
• Functional and logic programming – 11th international symposium ; proceedings
  Schrijvers, Tom ; Thiemann, Peter 2012 Springer
• Program schemata technique for propositional program logics: A 30-year history
  Shilov, N. V. ; Shilova, S. O. ; Bernshtein, A. Yu
• Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming – 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996
  Boulanger, Dimitri 1996 GMD-Forschungszentrum Informationstechnik
• Graph structures for knowledge representation and reasoning – second international workshop ; revised selected papers
  Croitoru, Madalina ; Rudolph, Sebastian ; Wilson, Nic ; Howse, John ; Corby, Olivier 2012 Springer
• Event Processing and Stream Reasoning with ETALIS – From Concept to Implementation
  Aničić, Darko 2012 Südwestdeutscher Verlag für Hochschulschriften
• Average-energy games
  Bouyer, Patricia ; Markey, Nicolas ; Randour, Mickael ; Larsen, Kim G. ; Laursen, Simon
• On reversible Turing machines and their function universality
  Axelsen, Holger Bock ; Glück, Robert
• A linear-time algorithm for the orbit problem over cyclic groups
  Lin, Anthony W. ; Zhou, Sanming
• Concurrent abstract state machines
  Börger, Egon ; Schewe, Klaus-Dieter
• Optimal covers in the relational database model
  Peng, Xiaoning ; Xiao, Zhijun
• VM consolidation approach based on heuristics fuzzy logic, and migration control
  Monil, Mohammad Alaul Haque ; Rahman, Rashedur M.
• Parallel and Constraint Logic Programming – An Introduction to Logic, Parallelism and Constraints
  1999 Springer US
• Logic Programming and Databases
  Ceri, Stefano ; Gottlob, Georg ; Tanca, Letizia 1990 Springer Berlin Heidelberg
• A general account of coinduction up-to
  Bonchi, Filippo ; Petrişan, Daniela ; Pous, Damien ; Rot, Jurriaan
• Database theory and application, bio-science and bio-technology – international conferences ; proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Cuzzocrea, Alfredo ; Arslan, Tughrul ; Zhang, Yanchun ; Ma, Jianhua ; Chung, Kyo-il ; Mariyam, Siti ; Song, Xiaofeng 2011 Springer