Search Results - "Logic"

  1. 681

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook
  2. 682

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook
  3. 683

    Syntax of Dutch Nouns and Noun Phrases - Volume 2

    Published 2012
    Subjects: “…Quantifier (logic)…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  4. 684
  5. 685
  6. 686
  7. 687

    Syntax of Dutch Nouns and Noun Phrases - Volume 2

    Published 2012
    Subjects: “…Quantifier (logic)…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  8. 688
  9. 689
  10. 690
  11. 691
  12. 692
  13. 693
  14. 694
  15. 695
  16. 696
  17. 697
  18. 698
  19. 699

    Sport, Performance and Sustainability

    Published 2023
    Subjects: “…digitization;environment;logics of sport;PE;performance;physical education;Sportification;sustainability;sustainable development;technology;training…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  20. 700

    Sport, Performance and Sustainability

    Published 2023
    Subjects: “…digitization;environment;logics of sport;PE;performance;physical education;Sportification;sustainability;sustainable development;technology;training…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter