|
|
Logic, argumentation & reasoning ; v. 7.
|
2015
|
1
|
|
Logic, argumentation & reasoning ; v. 20.
|
2021
|
1
|
|
Logic, argumentation & reasoning ; v. 21.
|
2020
|
1
|
|
Logic, argumentation & reasoning ; v. 22.
|
2021
|
1
|
|
Logic, argumentation & reasoning ; v. 23.
|
2022
|
1
|
|
Logic, argumentation & reasoning ; v. 24
|
2021
|
1
|
|
Logic, argumentation & reasoning ; v. 25. 2214-9139
|
2022
|
1
|
|
Logic, argumentation & reasoning ; v. 26. 2214-9139
|
2022
|
1
|
|
Logic, argumentation & reasoning ; v. 27. 2214-9139
|
2022
|
1
|
|
Logic, argumentation & reasoning ; v. 28.
|
2022
|
1
|
|
Logic, argumentation & reasoning ; v. 29.
|
2022
|
1
|
|
Logic, argumentation & reasoning ; v. 30
|
2022
|
1
|
|
Logic, argumentation & reasoning ; v. 31.
|
2023
|
1
|
|
Logic, argumentation & reasoning ; v. 32
|
2023
|
1
|
|
Logic, argumentation & reasoning ; v. 33.
|
2023
|
1
|
|
Logic, argumentation & reasoning ; v. 34. 2214-9139
|
2023
|
1
|
|
Logic as a liberal art : an introduction to rhetoric & reasoning
|
2020
|
1
|
|
Logic as a science -- / 6.
|
2007
|
1
|
|
Logic as a tool : a guide to formal logical reasoning
|
|
2
|
|
Logic as Elaboration of Hegel's Trinitarian Claim -- / 2.
|
2012
|
1
|
|
Logic as grammar
|
1984
|
1
|
|
Logic as Movement of Trinitarian Divine Subjectivity -- / 1.
|
2012
|
1
|
|
Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings
|
1989
|
1
|
|
Logic at Other Universities --
|
2002
|
1
|
|
Logic at Padua --
|
2002
|
1
|
|
Logic ballad, no. 2.
|
2016
|
1
|
|
Logic-based 0-1 constraint programming
|
1996
|
1
|
|
A Logic-Based Approach / 33 --2.4
|
2000
|
1
|
|
A Logic-Based Approach to Characterizing Altruism in Interstellar Messages / / Alexander Ollongren --
|
2013?
|
1
|
|
Logic-Based Benders Decomposition / 389 --19.1
|
2000
|
1
|
|
Logic-based benders decomposition : theory and applications
|
2024
|
1
|
|
Logic-Based Branch and Bound / 149 --9.1
|
2000
|
1
|
|
Logic Based Conjoint Analysis Using the Commuting Quantum Query Language / / Ingo Schmitt, Daniel Baier --
|
2013
|
1
|
|
Logic-Based Deductive Reasoning / / James J. Lu and Erik Rosenthal --30.
|
1997
|
1
|
|
Logic-Based Formalisms. Linear- and Branching-Time Temporal Logics. Future and Past Temporal Logics. Temporal Logics with Metric on Time. Discrete and Dense Time Domains. Interval-Based Temporal Logic
|
2012
|
1
|
|
A Logic-Based Formalization of KPIs for Virtual Enterprises / / Claudia Diamantini, Domenico Potena, Emanuele Storti --
|
2013
|
1
|
|
Logic-Based Formalization of System Requirements for Integrated Clinical Environments / / Cinzia Bernardeschi, Andrea Domenici, Paolo Masci --
|
2019
|
1
|
|
A Logic Based Framework for Multi-Objective Decision Making --
|
2013
|
1
|
|
A Logic-Based Framework for Reactive Systems / / Robert Kowalski and Fariba Sadri --
|
2012
|
1
|
|
A Logic-Based Framework for Verifying Consensus Algorithms / / Cezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder and Damien Zufferey --
|
2014
|
1
|
|
A logic-based incremental approach to graph repair / / Sven Schneider, Leen Lambers, and Fernando Orejas
|
2019
|
1
|
|
Logic-Based Incremental Process Mining in Smart Environments / / Stefano Ferilli, Berardina De Carolis, Domenico Redavid --
|
2013
|
1
|
|
Logic Based Methods for Decision Making and Data Mining.
|
2013
|
1
|
|
Logic-based methods for optimization : combining optimization and constraint satisfaction
|
2000
|
1
|
|
A Logic-Based Model / 39 --3
|
2000
|
1
|
|
Logic-Based Model-Level Software Development with F-OML / / Michael Kifer --
|
2011
|
1
|
|
Logic-based modeling /
|
|
2
|
|
Logic-based nonlinear image processing
|
2007
|
1
|
|
Logic-Based Prediction Model for Air Traffic Control System / / Dancheng Li --
|
2011
|
1
|
|
Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
|
2005
|
1
|
Add Marked to Bag
Add All On Page
Add Marked to My Lists
|