„logic programming“

Suchergebnisse

2.836 Treffer

• Concurrency theory – 25th international conference ; proceedings
  Baldan, Paolo 2014 Springer
• Functional and logic programming – 8th international symposium ; proceedings
  Hagiya, Masami 2006 Springer
• Mathematical foundations of computer science 2014
  2014 Springer
• Mathematical foundations of computer science 2014
  2014 Springer
• Digital Logic Design and Assembly Language Programming – Solved Problems for Students
  Girma, Taye 2014 LAP LAMBERT Academic Publishing
• Logic for programming, artificial intelligence, and reasoning – 12th international conference ; proceedings
  Sutcliffe, Geoff 2005 Springer
• Formal Aspects of Computing – Essays dedicated to Derrick Kourie on the occasion of his 65th Birthday
  Gruner, Stefan ; Watson, Bruce 2013 Shaker
• PREDICTION OF BUILDING FLOORPLANS USING LOGICAL AND STOCHASTIC REASONING BASED ON SPARSE OBSERVATIONS
  Loch-Dehbi, S. ; Dehbi, Y. ; Gröger, G. ; Plümer, L.
• Applying service dominant logic perspective: Studying Patient Care System of Shaukat Khanum Memorial Cancer Hospital (Lahore) and Shouldice Hospital (Canada)
  Basharat, Taimoor ; Ahmad, Hammad
• Implementation of Fuzzy Systems on PLCs
  Davoudi, Mohsen ; Nasiri, Alireza 2017 Noor Publishing
• Integration of Prolog and Java with the connector Architecture CAPJa
  Ostermayer, Ludwig 2017
• Improved integer linear programming formulation for weak Roman domination problem
  Ivanovic, Marija
• Uncertain programming models for fixed charge multi-item solid transportation problem
  Liu, Liying ; Zhang, Bo ; Ma, Weimin
• The information value and the uncertainties in two-stage uncertain programming with recourse
  Zheng, Mingfa ; Yi, Yuan ; Wang, Xuhua ; Wang, Jian ; Mao, Sheng
• A credibilistic goal programming model for inventory routing problem with hazardous materials
  Hu, Hao ; Li, Jian ; Li, Xiang
• Concepts of Programming Languages – Solution to Unsolved Problems
  Choudhary, Piyush 2017 LAP LAMBERT Academic Publishing
• MSVL: a typed language for temporal logic programming
  Wang, Xiaobing ; Tian, Cong ; Duan, Zhenhua ; Zhao, Liang
• Neutrosophic number linear programming method and its application under neutrosophic number environments
  Ye, Jun
• DAWA: Defending against wormhole attack in MANETs by using fuzzy logic and artificial immune system
  Jamali, Shahram ; Fotohi, Reza
• Regular and context-free nominal traces
  Degano, Pierpaolo ; Ferrari, Gian-Luigi ; Mezzetti, Gianluca