-
1دورية أكاديمية
المؤلفون: Dieter Spreen, Ulrich Berger
المصدر: Logical Methods in Computer Science, Vol Volume 19, Issue 3 (2023)
مصطلحات موضوعية: computer science - logic in computer science, mathematics - logic, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Dieter Spreen
المصدر: Mathematics for Computation (M4C) ISBN: 9789811245213
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a76869632202999f9dfe68068c150792
https://doi.org/10.1142/9789811245220_0004 -
3
المؤلفون: Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki
المصدر: Mathematics for Computation (M4C) ISBN: 9789811245213
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5797fb0b50b51e84b70cff27b518407e
https://doi.org/10.1142/9789811245220_0009 -
4
المؤلفون: Dieter Spreen
المصدر: Mathematical Structures in Computer Science
مصطلحات موضوعية: FOS: Computer and information sciences, Class (set theory), Computer Science - Logic in Computer Science, Computer science, 0102 computer and information sciences, Dynamical Systems (math.DS), 01 natural sciences, Constructive, Mathematics (miscellaneous), FOS: Mathematics, 0101 mathematics, Mathematics - Dynamical Systems, Real number, Mathematics - General Topology, 03D78, 03F60, 010102 general mathematics, Hausdorff space, General Topology (math.GN), 16. Peace & justice, Computer Science Applications, Logic in Computer Science (cs.LO), Algebra, Uniform continuity, Metric space, Compact space, 010201 computation theory & mathematics, F.4.1, Tuple
-
5
المؤلفون: Dieter Spreen
المصدر: Mathematical Structures in Computer Science. 27:1601-1624
مصطلحات موضوعية: Continuity theorem, Computer science, As is, 010102 general mathematics, 03F60, 03D78, 03D45, Mathematics - Logic, 0102 computer and information sciences, F.1.1, F.4.1, Topological space, 01 natural sciences, Witness, Computer Science Applications, Interpretation (model theory), Mathematics (miscellaneous), 010201 computation theory & mathematics, FOS: Mathematics, Calculus, Axiom of choice, 0101 mathematics, Logic (math.LO)
-
6
المؤلفون: Martin Ziegler, Andrej Bauer, Ulrich Berger, Hideki Tsuiki, Dieter Spreen, Willem L. Fouché
المصدر: Journal of Logic and Analysis.
مصطلحات موضوعية: Logic, Modeling and Simulation, Computability, Computability logic, Algorithm, Analysis, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a9e0221a86baeeb1e11051361825d8fe
https://doi.org/10.4115/jla.2017.9.c0 -
7
المؤلفون: Vasco Brattka, Hideki Tsuiki, Dieter Spreen, Ulrich Berger, Victor L. Selivanov
المصدر: Mathematical Structures in Computer Science. 25:1463-1465
مصطلحات موضوعية: Mathematics (miscellaneous), Theoretical computer science, GeneralLiterature_INTRODUCTORYANDSURVEY, Computer science, Informatics, Center (algebra and category theory), Mathematical structure, Topology, Computer Science Applications
-
8
المؤلفون: Dieter Spreen, Ulrich Berger
المصدر: Journal of Logic and Analysis
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, 0102 computer and information sciences, 03B70, 03F60, 68T15, Mathematical proof, 01 natural sciences, Constructive, Gray code, F.4.1, I.2.2, I.2.3, D.2.4, Signed-digit representation, 0101 mathematics, Representation (mathematics), Mathematics, Real number, 010102 general mathematics, Coinduction, Logic in Computer Science (cs.LO), Algebra, Compact space, 010201 computation theory & mathematics, Modeling and Simulation, Analysis
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::538e0740acf16788cf5f9a08fbaa2772
-
9
المؤلفون: Dieter Spreen
المصدر: Theoretical Computer Science
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Scott information system, General Computer Science, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Information system, Finitary, Sequent, Algebraic number, Mathematics, Discrete mathematics, Predicate (mathematical logic), Propositional calculus, Logic in Computer Science (cs.LO), 68Q55, 03B70, 06B35, 03B22, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Scott domain, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, F.3.2, 020201 artificial intelligence & image processing
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e92d4f5038a5e0162b066015276aa6e8
-
10
المؤلفون: Dieter Spreen
المصدر: J. Symbolic Logic 75, iss. 2 (2010), 602-640
مصطلحات موضوعية: Algebra, Philosophy, Logic, Computer science, Approximations of π, Data stream mining, Search engine indexing, Real number, Coding (social sciences)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::393feabeaf39c0315bc3287b0cde9dc9
https://doi.org/10.2178/jsl/1268917496