المؤلفون: Kohji Tomita, Yasuwo Ikeda, Chiharu Hosono

المصدر: Mathematical Structures in Computer Science. 11:771-779

مصطلحات موضوعية: Algebra, Discrete mathematics, Mathematics (miscellaneous), Bounded quantifier, Type (model theory), Representation (mathematics), Action (physics), Computer Science Applications, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::dcc10b9b79fcb3ba3f19d45f793c808e
https://doi.org/10.1017/s0960129501003401

المؤلفون: Tatsuo Suzuki, Masayuki Shio, Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda

المصدر: Artificial Intelligence and Computational Intelligence ISBN: 9783642165290
AICI (1)

مصطلحات موضوعية: Computer science, business.industry, Human–computer interaction, Formal specification, Piano, Artificial intelligence, business, Formal verification, Formal representation, Composition (language), Formal system, Expression (mathematics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a45f3802e4add843e474e20cd9bc458d
https://doi.org/10.1007/978-3-642-16530-6_31

المؤلفون: Yasuwo Ikeda, Tetsuya Mizutani, Masayuki Shio

المصدر: 2009 International Conference on Artificial Intelligence and Computational Intelligence.

مصطلحات موضوعية: Soundness, Epsilon calculus, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Proof calculus, Computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Process calculus, Formal semantics (linguistics), Calculus, Calculus of communicating systems, Formal system, Operational semantics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aea17ff671587ce48de2fb0bb170fabd
https://doi.org/10.1109/aici.2009.410

المؤلفون: Masayuki Shio, Yasuwo Ikeda, Tetsuya Mizutani, Shigeru Igarashi

المصدر: TASE

مصطلحات موضوعية: Accident (fallacy), Knowledge representation and reasoning, Computer science, Computer Science::Logic in Computer Science, medicine, Calculus, Sigma, Near miss, medicine.disease, Formal representation, Formal verification, Calculus (medicine), Electronic mail

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::448a560d9f1a3545917bc40ba0fcee3c
https://doi.org/10.1109/tase.2009.25

المؤلفون: Masayuki Shio, Yasuwo Ikeda, Tatsuo Suzuki, Tetsuya Mizutani

المصدر: TASE

مصطلحات موضوعية: ComputingMethodologies_PATTERNRECOGNITION, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Theoretical computer science, Computer science, Programming language, Computer Science::Logic in Computer Science, Formal specification, Logical representation, computer.software_genre, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::404876b844438916803df3ebcec228e0
https://doi.org/10.1109/tase.2009.30

المؤلفون: Masayuki Shio, Shigeru Igarashi, Tetsuya Mizutani, Yasuwo Ikeda

المصدر: Artificial Intelligence and Computational Intelligence ISBN: 9783642052521
AICI

مصطلحات موضوعية: Accident (fallacy), Computer science, Factor (programming language), Calculus, Sigma, Formal methods, Representation (mathematics), computer, Formal system, Formal verification, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::353e42f4a4ef950840f538f9195dd621
https://doi.org/10.1007/978-3-642-05253-8_52

المؤلفون: Yasuwo Ikeda, Masayuki Shio, Tetsuya Mizutani, Shigeru Igarashi

المصدر: Artificial Intelligence and Symbolic Computation ISBN: 9783540397281
AISC

مصطلحات موضوعية: Accident (fallacy), Property (philosophy), Knowledge base, Computer science, business.industry, Formalism (philosophy), Human error, Artificial intelligence, business, Mathematical knowledge management, Formal system, Word (computer architecture)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b4cc1ae1daa0aaffb3e86e4e34605086
https://doi.org/10.1007/11856290_5

المؤلفون: Yasuwo Ikeda, Chiharu Hosono, Kohji Tomita

المصدر: ResearcherID
Informatics Engineering and Information Science ISBN: 9783642254611

مصطلحات موضوعية: Discrete mathematics, Graph rewriting, Book embedding, Planar graph, Modular decomposition, Combinatorics, symbols.namesake, Indifference graph, Pathwidth, Chordal graph, Outerplanar graph, symbols, MathematicsofComputing_DISCRETEMATHEMATICS, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::853b27a9fa5355c31f698adc10220124
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000310861200030&KeyUID=WOS:000310861200030