-
1
المؤلفون: Björn Lellmann, Rajeev Goré
المصدر: Lecture Notes in Computer Science ISBN: 9783030290252
TABLEAUXمصطلحات موضوعية: 010102 general mathematics, Proof search, Sequent calculus, Modal logic, 0102 computer and information sciences, medicine.disease, 01 natural sciences, Algebra, Mathematics::Logic, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Modal, Tense logic, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Converse, medicine, Nesting (computing), 0101 mathematics, Calculus (medicine), Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::b92e60d23428e58d266482966734cd34Test
https://doi.org/10.1007/978-3-030-29026-9_11Test -
2
المؤلفون: Thomas Krainer
المصدر: International Journal of Mathematical Education in Science and Technology. 47:299-314
مصطلحات موضوعية: Class (set theory), Applied Mathematics, Monotonic function, medicine.disease, Divergence (computer science), Education, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Mathematics (miscellaneous), Recursive language, Simple (abstract algebra), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Convergence (routing), Limit point, medicine, Calculus, Calculus (medicine), Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::a5cfa0e078242fcbfadd9fd036f0a540Test
https://doi.org/10.1080/0020739x.2015.1078002Test -
3
المؤلفون: Bernardo Cuenca Grau, Ian Horrocks, David Tena Cucala
المصدر: IJCAI
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Computer Science - Artificial Intelligence, Inverse, Web Ontology Language, 02 engineering and technology, medicine.disease, Logic in Computer Science (cs.LO), Algebra, Feature (linguistics), Artificial Intelligence (cs.AI), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Description logic, 020204 information systems, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, medicine, Key (cryptography), 020201 artificial intelligence & image processing, computer, Calculus (medicine), computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dcfc36c763efc439226be3a14c0fb555Test
http://arxiv.org/abs/1805.01396Test -
4
المؤلفون: Ibrahim Emiroglu, Gokhan Yener
المصدر: Discrete & Continuous Dynamical Systems - S. 8:1435-1450
مصطلحات موضوعية: Multiplicative calculus, Natural deduction, Applied Mathematics, Infinite product, Time-scale calculus, medicine.disease, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, medicine, Discrete Mathematics and Combinatorics, Q analogues, Analysis, Calculus (medicine), Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::ce357f62858008d47dae49c66c58c682Test
https://doi.org/10.3934/dcdss.2015.8.1435Test -
5
المؤلفون: Gabriel Ciobanu, Andrei Alexandru
المصدر: Finitely Supported Mathematics ISBN: 9783319422817
مصطلحات موضوعية: Set (abstract data type), Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Quantifier (logic), Semantics (computer science), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Transition (fiction), Process calculus, medicine, medicine.disease, Calculus (medicine), Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::a9efd16ba9dd49fa83964b1966824774Test
https://doi.org/10.1007/978-3-319-42282-4_5Test -
6
المؤلفون: Gabriel Bengochea, Luis Verde-Star
المصدر: Advances in Applied Mathematics. 47(2):330-351
مصطلحات موضوعية: Laurent series, Process calculus, Applied Mathematics, Mikusiński, Formal Laurent series, Construct (python library), Time-scale calculus, Abstract space, medicine.disease, Shift operator, Differential operator, Algebra, Operational calculus, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Convolutions, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, medicine, Heaviside, Algebraic number, Calculus (medicine), Differential (mathematics), Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::030c0ebf8aed927e04eef16ab18f8d52Test
-
7
المؤلفون: Aart Middeldorp, Satoshi Okui
المصدر: Journal of Symbolic Computation. 25:733-757
مصطلحات موضوعية: Algebra and Number Theory, Property (philosophy), Least-upper-bound property, Term (logic), medicine.disease, Algebra, Computational Mathematics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Calculus, medicine, Computer Science::Programming Languages, Rewriting, Rule of inference, Calculus (medicine), Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29e3688f9e79624f6242436b66c8bf24Test
https://doi.org/10.1006/jsco.1997.0197Test -
8
المؤلفون: Massimo Merro
المصدر: EXPRESS
مصطلحات موضوعية: General Computer Science, Process calculus, Substitution (algebra), medicine.disease, Theoretical Computer Science, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Asynchronous communication, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Encoding (memory), medicine, Calculus (medicine), Computer Science(all), Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f23c2487d28187184380d8c3c3d9785aTest
https://doi.org/10.1016/s1571-0661Test(04)00122-7 -
9
المؤلفون: San-yang Liu, Wen-yan Xu
المصدر: Quantitative Logic and Soft Computing 2010 ISBN: 9783642156595
مصطلحات موضوعية: Algebra, Mathematics::Logic, Deduction theorem, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Fundamental theorem, Proof theory, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, medicine, Calculus, medicine.disease, Calculus (medicine), Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::32d4a95362009c44b92e180c65c5e5f3Test
https://doi.org/10.1007/978-3-642-15660-1_9Test -
10
المؤلفون: Andrei Voronkov, Konstantin Korovin
المصدر: Computer Science Logic ISBN: 9783540749141
CSLمصطلحات موضوعية: Natural deduction, Multivariable calculus, Time-scale calculus, medicine.disease, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Proof calculus, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Completeness (logic), ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Superposition calculus, medicine, Situation calculus, Calculus (medicine), Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::24cee5f16aead2f53a5e0b8e07202967Test
https://doi.org/10.1007/978-3-540-74915-8_19Test