-
1دورية أكاديمية
المؤلفون: Hideki Tsuiki
المصدر: Algorithms, Vol 5, Iss 2, Pp 273-288 (2012)
مصطلحات موضوعية: imaginary cubes, hexagonal bipyramid, triangular antiprismoid, assembly puzzles, 3D tessellation, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Hideki Tsuiki, Yasuyuki Tsukamoyo
المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 1 (2015)
مصطلحات موضوعية: mathematics - general topology, computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
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
المؤلفون: Ulrich Berger, Hideki Tsuiki
المصدر: Programming Languages and Systems ISBN: 9783030993351
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 03B70, 03Dxx, 03Fxx, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, F.4.1, F.3.2, F.3.1, Logic in Computer Science (cs.LO)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9447a2b59284b19ab199205338b83a4a
https://cronfa.swan.ac.uk/Record/cronfa60606/Download/60606__24926__4ecd73688bd84d28a799d80efdfd087a.pdf -
5
المؤلفون: Ulrich Berger, Hideki Tsuiki, Olga Petrovska
المصدر: Lecture Notes in Computer Science ISBN: 9783030514655
CiEمصطلحات موضوعية: Soundness, Computer science, Programming language, Coinduction, Interactive proof system, 0102 computer and information sciences, Fixed point, Mathematical proof, computer.software_genre, 01 natural sciences, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c06442aa7adcb4e9351655652ef04877
https://cronfa.swan.ac.uk/Record/cronfa57995 -
6
المؤلفون: Ulrich Berger, Hideki Tsuiki
المصدر: Annals of Pure and Applied Logic. 172:102903
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, 0102 computer and information sciences, Mathematical proof, 01 natural sciences, Operational semantics, Denotational semantics, Computer Science::Logic in Computer Science, Realizability, F.4.1, F.1.1, I.2.2, I.2.3, 0101 mathematics, Mathematics, computer.programming_language, Functional programming, Interpretation (logic), 010102 general mathematics, Coinduction, 03B70 03D70 03D78 03F03 03F60 06B35, Logic in Computer Science (cs.LO), Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Programming Languages, Haskell, computer
-
7
المؤلفون: Yasuyuki Tsukamoto, Hideki Tsuiki
المصدر: Mathematical Structures in Computer Science. 27:1625-1638
مصطلحات موضوعية: 010101 applied mathematics, Algebra, Mathematics (miscellaneous), 010102 general mathematics, 0101 mathematics, 01 natural sciences, Computer Science Applications, Domain (software engineering), Mathematics
-
8
المؤلفون: 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 -
9
المؤلفون: Hitoshi Ohto, Wataru Ohashi, Toru Miyazaki, Yutaka Negishi, Hiroyasu Yasuda, Yoshihito Yagi, Takeshi Arakawa, Shigeru Takamoto, Hideki Tsuiki, Atsushi Ishida, Daisuke Uchimura
المصدر: Journal of Pediatric Hematology/Oncology. 37:e375-e377
مصطلحات موضوعية: Adult, Male, Anemia, Pure red cell aplasia, Red-Cell Aplasia, Pure, Colony-Forming Units Assay, Erythroblastosis, Fetal, Isoantibodies, Pregnancy, hemic and lymphatic diseases, Hemolytic disease of the newborn (ABO), M antibody, Humans, Medicine, Erythropoiesis, Reticulocytopenia, Erythroid Precursor Cells, Red Cell, business.industry, Siblings, Infant, Newborn, Infant, Cell Differentiation, Hematology, Prognosis, medicine.disease, Immunoglobulin M, Oncology, Pediatrics, Perinatology and Child Health, Immunology, Female, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e16d5df97fda8e45e7b2e3e3141f807
https://doi.org/10.1097/mph.0000000000000341 -
10
المؤلفون: 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