Search Results - "first order"

Suggested Topics within your search.
Refine Results
  1. 1
    Cover Image

    Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

    Published 2017
    Subjects: “…First-order logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 2
    Cover Image

    Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

    Published 2017
    Subjects: “…First-order logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 3
    Cover Image

    Inquisitive Logic Consequence and Inference in the Realm of Questions by Ciardelli, Ivano

    Published 2022
    Subjects: “…Questions in first-order logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 4
    Cover Image

    Inquisitive Logic Consequence and Inference in the Realm of Questions by Ciardelli, Ivano

    Published 2022
    Subjects: “…Questions in first-order logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 5
    Cover Image

    Logic and Computation

    Published 2023
    Subjects: “…first-order logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 6
    Cover Image

    Photocatalytic Processes for Environmental Applications

    Published 2022
    Subjects: “…pseudo-first order kinetics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 7
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects: “…first order logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 8
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects: “…first order logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 9
    Cover Image

    Bistatic HF Radar

    Published 2020
    Subjects: “…first-order sea clutter…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 10
    Cover Image

    Functional Nanoporous Materials

    Published 2020
    Subjects: “…first-order shear deformation theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 11
    Cover Image

    Application of Novel Thermal Technology in Foods Processing

    Published 2022
    Subjects: “…first order…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 12
    Cover Image

    Regional Intestinal Drug Absorption Biopharmaceutics and Drug Formulation

    Published 2022
    Subjects: “…first-order absorption…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 13
    Cover Image

    Mathematical Logic and Its Applications 2020

    Published 2021
    Subjects: “…first order rigidity…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 14
    Cover Image

    Power Electronics and Energy Management for Battery Storage Systems

    Published 2022
    Subjects: “…first-order model…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 15
    Cover Image

    Phenolic Compounds in Food Characterization and Health Benefits

    Published 2022
    Subjects: “…first order…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 16
    Cover Image

    Advances in Groundwater Flow and Solute Transport: Pushing the Hidden Boundary by Wen, Zhang

    Published 2019
    Subjects: “…first-order analytical approach…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 17
    Cover Image

    Mesh-Free and Finite Element-Based Methods for Structural Mechanics Applications

    Published 2021
    Subjects: “…first-order shear deformation theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 18
    Cover Image

    Study of Biodegradation and Bioremediation

    Published 2022
    Subjects: “…first-order reaction rate model…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 19
    Cover Image

    Dam Safety. Overtopping and Geostructural Risks

    Published 2022
    Subjects: “…First Order Reliability Method (FORM)…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 20
    Cover Image

    New Trends in Differential and Difference Equations and Applications by Minhós, Feliz Manuel

    Published 2019
    Subjects: “…first order periodic systems…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: