„Logic Programming“

Suchergebnisse

2.836 Treffer

• Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times
  Levin, Asaf ; Shusterman, Tal
• Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
  Dal Palu', Alessandro ; Tarau, Paul ; Saeedloei, Neda ; Fodor, Paul 2018 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Logic of Causal Inference from Data Under Presence of Latent Confounders
  Balabanov, O. S.
• Process Algebras for Petri Nets – The Alphabetization of Distributed Systems
  Gorrieri, Roberto 2017 Springer International Publishing
• Logic and Integer Programming
  Williams, Hilary P. 2009 Springer International Publishing
• FT-EALU: fault-tolerant arithmetic and logic unit for critical embedded and real-time systems
  Abdi, Athena ; Shahoveisi, Sina
• Inductive logic programming – 21th international conference ; revised selected papers
  Muggleton, Stephen H. ; Tamaddoni-Nezhad, Alireza ; Lisi, Francesca A. 2012 Springer
• Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices
  Courbet, Alexis ; Amar, Patrick ; Fages, François ; Renard, Eric ; Molina, Franck
• Logic programming – proceedings of the ... conference
  1986 Springer
• Technologies and Innovation – 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings
  Valencia-García, Rafael 2018 Springer International Publishing
• Functional and constraint logic programming – 18th international workshop ; revised selected papers
  Escobar, Santiago 2010 Springer
• Error-Tolerance and Error Management in Lightweight Description Logics
  Peñaloza Nyssen, Rafael
• SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT
  Manthey, Norbert ; Peñaloza Nyssen, Rafael ; Rudolph, Sebastian
• Designed Memristor Circuit for Self‐Limited Analog Switching and its Application to a Memristive Neural Network
  Song, Hanchan ; Kim, Young Seok ; Park, Juseong ; Kim, Kyung Min
• Lamplighter groups and automata
  Jain, Sanjay ; Moldagaliyev, Birzhan ; Stephan, Frank ; Tran, Tien Dat
• Selection of alternative based on linear programming and the extended fuzzy TOPSIS under the framework of dual hesitant fuzzy sets
  Sindhu, M. Sarwar ; Rashid, Tabasam
• Depth-first search in directed planar graphs, revisited
  Allender, Eric ; Chauhan, Archit ; Datta, Samir
• Parameterized verification of leader/follower systems via first-order temporal logic
  Kourtis, G. ; Dixon, Clare ; Fisher, Michael ; Lisitsa, A.
• Girard's "Fixpoint Theorem"
  Hallnäs, Lars ; Schroeder-Heister, Peter 1992 Universitätsbibliothek Tübingen
• Infinitary rewriting: meta-theory and convergence
  Kahrs, Stefan