-
1دورية أكاديمية
المؤلفون: Alexander V. Gheorghiu, David J. Pym
المصدر: Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 239-266 (2023)
مصطلحات موضوعية: logic programming, proof-theoretic semantics, bilateralism, negationas-failure, Logic, BC1-199
وصف الملف: electronic resource
-
2
-
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5
المؤلفون: Richard J. Pym
المصدر: The Routledge Hispanic Studies Companion to Early Modern Spanish Literature and Culture ISBN: 9781351108713
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::47a3704659630516845e1a70540746a7
https://doi.org/10.4324/9781351108713-40 -
6
المؤلفون: Alexander V. Gheorghiu, David J. Pym
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, History and Philosophy of Science, Logic, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04323f9bad1121fad10a358c8363ae27
-
7
-
8
المؤلفون: David J. Pym
المصدر: ACM SIGLOG News. 6:5-41
مصطلحات موضوعية: Microbiology (medical), Interpretation (logic), Theoretical computer science, Semantics (computer science), 010102 general mathematics, Immunology, Relevance logic, 0102 computer and information sciences, Separation logic, 01 natural sciences, Linear logic, Program analysis, 010201 computation theory & mathematics, Proof theory, Immunology and Allergy, State (computer science), 0101 mathematics
-
9
المؤلفون: Christos Ioannidis, Julian Williams, Iffat A. Gheyas, David J. Pym
المصدر: European journal of operational research, 2019, Vol.274(2), pp.638-653 [Peer Reviewed Journal]
مصطلحات موضوعية: 050210 logistics & transportation, 021103 operations research, Information Systems and Management, General Computer Science, 05 social sciences, 0211 other engineering and technologies, 02 engineering and technology, Information security, Management Science and Operations Research, Environmental economics, Industrial and Manufacturing Engineering, Critical infrastructure, symbols.namesake, Nash equilibrium, Modeling and Simulation, 0502 economics and business, Sustainability, Information system, symbols, Stewardship, Business, Resilience (network), Externality
وصف الملف: application/pdf
-
10
المؤلفون: Jeff Ling, David Bui, Aaron J Pym, David Lunz
المصدر: Trauma Case Reports
مصطلحات موضوعية: Orthodontics, 030222 orthopedics, business.industry, Augment, Metatarsal fracture, Critical Care and Intensive Care Medicine, Non-union, Non union, Article, 03 medical and health sciences, 0302 clinical medicine, Fracture, Metatarsal, Emergency Medicine, Fracture (geology), Medicine, Orthopedics and Sports Medicine, 030212 general & internal medicine, business, Neck