„logic programming“

Suchergebnisse

2.836 Treffer

• Computational Thinking – First Algorithms, Then Code
  Ferragina, Paolo ; Luccio, Fabrizio 2024 Springer International Publishing, Imprint: Springer
• Introduction to Artificial Intelligence
  Ertel, Wolfgang 2025 Springer Fachmedien Wiesbaden, Imprint: Springer
• Algorithmen und Datenstrukturen – Grundlagen und probabilistische Methoden für den Entwurf und die Analyse
  Knebl, Helmut 2019 Springer Fachmedien Wiesbaden
• Foundations of Programming Languages
  Lee, Kent D. 2017 Springer International Publishing
• Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples
  Besold, Tarek R. ; Garcez, Artur d’Avila ; Stenning, Keith ; Torre, Leendert van der ; Lambalgen, Michiel ˜vanœ
• Editorial 2024: moving forwards in the electronic age
  Fernau, Henning
• Proof of termination within a weak logic of programs
  Luckham, David C. ; Suzuki, Norihisa
• Optimal Regular Expressions for Permutations (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Molina Lovett, Antonio ; Shallit, Jeffrey O. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solving fuzzy quadratic programming problems based on ABS algorithm
  Ghanbari, Reza ; Ghorbani-Moghadam, Khatere
• A variables neighborhood search algorithm for solving fuzzy quadratic programming problems using modified Kerre’s method
  Ghanbari, Reza ; Ghorbani-Moghadam, Khatere ; Mahdavi-Amiri, Nezam
• Bounds on the worst optimal value in interval linear programming
  Mohammadi, Mohsen ; Gentili, Monica
• Trace nets and process automata
  Badouel, Eric ; Darondeau, Philippe
• Stateless model checking for TSO and PSO
  Abdulla, Parosh Aziz ; Aronis, Stavros ; Atig, Mohamed Faouzi ; Jonsson, Bengt ; Leonardsson, Carl ; Sagonas, Kostis
• Development of an intelligent decision making tool for maintenance planning using fuzzy logic and dynamic scheduling
  Andrew, A. ; Kumanan, S.
• A study of SQL query processing using soft computing techniques: a hybrid vague logic approach
  Yadav, Ramjeet Singh
• An optimal design of conservative efficient reversible parity logic circuits using QCA
  Bahar, Ali Newaz ; Ahmad, Firdous ; Nahid, Nur Mohammad ; Kamrul Hassan, Md ; Abdullah-Al-Shafi, Md ; Ahmed, Kawsar
• An improved generalized DNA computing model to simulate logic functions and combinational circuits
  Boruah, Kuntala ; Dutta, Jiten Chandra
• A hierarchical fuzzy logic systems frame work for data security
  Mohammadian, M. ; Hatzinakos, D.
• Formale Logik im Dialog – Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt
  Doberkat, Ernst-Erich 2025 Springer Vieweg
• The linear landscape of external contextual languages
  Ehrenfeucht, Andrzej ; Păun, Gheorghe ; Rozenberg, Grzegorz