-
1
المؤلفون: S. V. Petrov
المصدر: Topics in the General Theory of Structures ISBN: 9789401081993
مصطلحات موضوعية: Discrete mathematics, Epsilon calculus, Natural deduction, Functional predicate, Computer science, Process calculus, Calculus, Calculus of communicating systems, Differentiation rules, Monadic predicate calculus, First-order logic
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::41c74bf0195ee6918d499f60c217eeed
https://doi.org/10.1007/978-94-009-3819-9_6 -
2
المؤلفون: Richard E. Grandy
المصدر: Advanced Logic for Applications ISBN: 9789027710345
مصطلحات موضوعية: Computer science, Order (business), Completeness (order theory), Calculus, Program derivation, Mathematical proof, Differentiation rules
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::18858459a672e25b10ce7802cb1cdbc4
https://doi.org/10.1007/978-94-010-1191-4_2