„Logic Programming“

Suchergebnisse

2.836 Treffer

• Logic programming and databases
  1989 Fernuniv., Gesamthochsch.
• Non-termination in Term Rewriting and Logic Programming
  Payet, Étienne
• Dynamics '98 – proceedings of the Post-Conference Workshop on Transactions and Change in Logic Databases
  Bonner, Anthony 1998 Univ., Fak. für Mathematik und Informatik
• Inductive logic programming – 8th international conference ; proceedings
  Page, David 1998 Springer
• Performance of an OR-parallel logic programming system
  Tinker, Peter A.
• Transactions on Petri nets and other models of concurrency
  2023 Springer
• Probabilistic constraint logic programming – formal foundations of quantitative and statistical inference in constrained based natural language processing
  Riezler, Stefan 1999 Inst. für Maschinelle Sprachverarbeitung, Lehrstuhl für Theoretische Computerlinguistik
• Inductive logic programming – 7th international workshop ; proceedings
  Lavrač, Nada 1997 Springer
• Exact distributed quantum algorithm for generalized Simon’s problem
  Li, Hao ; Qiu, Daowen ; Luo, Le ; Mateus, Paulo
• Inductive logic programming – 6th international workshop ; selected papers
  Muggleton, Stephen H. 1997 Springer
• Logic programming and databases
  1989 Fernuniv., Gesamthochsch.
• Logic for programming and automated reasoning – 6th international conference ; proceedings
  Ganzinger, Harald 1999 Springer
• Reasoning with logic programming
  Alferes, José Júlio ; Pereira, Luís Moniz 1996 Springer
• Logic programming and databases
  1989 Fernuniv., Gesamthochsch.
• Erasable and Field Programmable DNA Circuits Based on Configurable Logic Blocks
  Liu, Yizhou ; Zhai, Yuxuan ; Hu, Hao ; Liao, Yuheng ; Liu, Huan ; Liu, Xiao ; He, Jiachen ; Wang, Limei ; Wang, Hongxun ; Li, Longjie ; Zhou, Xiaoyu ; Xiao, Xianjin
• New families of Laplacian borderenergetic graphs
  Dede, Cahit
• Temporal logic programming – a survey
  Brzoska, Christoph 1989 Univ., Fak. für Informatik
• Functional and logic programming – 4th Fuji international symposium ; proceedings
  Middeldorp, Aart 1999 Springer
• Weak autoepistemic reasoning – a study in autoepistemic reasoning from a logic programming perspective
  Kalinski, Jürgen
• Neighborhood mutual remainder: self-stabilizing distributed implementation and applications
  Dolev, Shlomi ; Kamei, Sayaka ; Katayama, Yoshiaki ; Ooshita, Fukuhito ; Wada, Koichi