„Logic Programming“

Suchergebnisse

2.836 Treffer

• Logic programming
  1986 Springer
• Functional and (constraint) logic programming (WFLP 2001)
  Hanus, Michael 2001 Inst. für Informatik und Praktische Mathematik
• Hybrid networks of evolutionary processors are computationally complete
  Csuhaj-Varjú, Erzsébet ; Martín-Vide, Carlos ; Mitrana, Victor
• On the interdependence between shuffle and crossing-over operations
  Mitrana, Victor
• Recent advances in constraints – selected papers
  O'Sullivan, Barry 2003 Springer
• Logic programming and nonmonotonic reasoning – 7th international conference ; proceedings
  Lifschitz, Vladimir 2004 Springer
• Inductive logic programming – 13th international conference ; proceedings
  Horváth, Tamás 2003 Springer
• Reciprocal Influences Between Proof Theory and Logic Programming
  Miller, Dale
• Distance-edge-monitoring sets of networks
  Yang, Gang ; Zhou, Jiannan ; He, Changxiang ; Mao, Yaping
• An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus
  Bagossy, Attila ; Battyányi, Péter
• Compiling quantum programs
  Zuliani, Paolo
• The stuttering principle revisited
  Kučera, Antonín ; Strejček, Jan
• The weakest specifunction
  Chen, Yifeng ; Sanders, J. W.
• Fuzzy Logic Programming and Fuzzy Control
  Gerla, Giangiacomo
• Objective fuzzy subsets and an algorithm for partial linear programming
  Alex, R.
• Invariant relations for affine loops
  Ghardallou, Wided ; Mohammadi, Hessamaldin ; Linger, Richard C. ; Pleszkoch, Mark ; Loh, JiMeng ; Mili, Ali
• On the use of types in logic programming
  Meyer, Gregor 1996 Fernuniv., Fachbereich Informatik
• Coding Examples from Simple to Complex – Applications in MATLAB®
  Gagniuc, Paul A. 2024 Springer Nature Switzerland, Imprint: Springer
• Program optimization for temporal reasoning within a logic programming framework
  Rieger, Anke 1998 Shaker
• Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
  Tsarchopoulos, Panagiotis