Search Results1-20 of  57

  • 1 / 3
  • Susumu Yamasaki ID: 9000394054324

    Articles in CiNii:1

    • Non-Safe SLDNF Resolution and Least Fixpoint Semantics for General Logic Programs (1995)
  • Susumu Yamasaki ID: 9000394054982

    Articles in CiNii:1

    • Negation as Inconsistency and Double Negation Law Problem (1995)
  • Susumu Yamasaki ID: 9000394056209

    Articles in CiNii:1

    • General Stable Model Semantics and SLDNF Resolution with Non-Safe Rule for Abduction (1997)
  • Susumu Yamasaki ID: 9000394056362

    Articles in CiNii:1

    • Dissolution of Points in Dispute Based on Situation Theory Planning (1997)
  • Susumu Yamasaki ID: 9000394057700

    Articles in CiNii:1

    • Abduction in 3-Valued Logic (1998)
  • Susumu Yamasaki ID: 9000394058472

    Articles in CiNii:1

    • Integrity Constraint and Semantics of Three-Valued Abduction Frameworks (1999)
  • YAMASAKI SUSUMU ID: 9000001504275

    The Working Group of the International Scientific Committee of the International Hepato-Pancreato-Biliary Association (2003 from CiNii)

    Articles in CiNii:1

    • IHPBA concordant classification of primary liver cancer : working group report (2003)
  • YAMASAKI SUSUMU ID: 9000001504545

    Department of Hepatobiliary Pancreatic Surgery, National Cancer Center Hospital (2003 from CiNii)

    Articles in CiNii:1

    • Intrahepatic cholangiocarcinoma : macroscopic type and stage classification (2003)
  • YAMASAKI SUSUMU ID: 9000004370254

    Articles in CiNii:7

    • 帰納的プログラムからHorn節集合への翻訳アルゴリズム (1982)
    • 不動点意味論に基づくHorn節集合の充足不能性判定 (1982)
    • 高階節形式論理におけるエルブランモデルについて (1989)
  • YAMASAKI SUSUMU ID: 9000014587540

    Articles in CiNii:8

    • Ackermannクラスに対する単位導出・制限付き線形導出反ばくの時間計算量 (1979)
    • 単位導出反ばく存在判定の言語的性質 (1980)
    • Ackermannクラスの部分クラスに対する充足可能性問題とその関連問題の時間計算量 (1982)
  • YAMASAKI SUSUMU ID: 9000018325351

    京都大学工学部 (1974 from CiNii)

    Articles in CiNii:1

    • プッシュダウンオートマトンに対応する無限状態オートマトンの性質 (オートマトン理論と数理言語の研究) (1974)
  • YAMASAKI SUSUMU ID: 9000020634284

    Department of Gynecology, Kurume University School of Medicine, Kurume, Japan (1972 from CiNii)

    Articles in CiNii:1

    • CASE REPORT OF SPLENIC ANEURYSM (1972)
  • YAMASAKI Susumu ID: 1000010026354

    Department of Information Technology, Okayama University (2000 from CiNii)

    Articles in CiNii:8

    • Abduction in 3-Valued Logic (1998)
    • Integrity Constraint and Semantics of Three-Valued Abduction Frameworks (1999)
    • Semantics of three-valued abduction framework (1999)
  • YAMASAKI Susumu ID: 1000070037993

    九州大大学院工学研究院知能機械システム部門 (2006 from CiNii)

    Articles in CiNii:17

    • Numerical Analysis of Shearing of Sheet Metal by Particle Flow Model (1995)
    • Surface Finish by Multi-stage Ironing of Extruded Aluminum Pipe-Improvement of Formability in Ironing of Extruded Pipe and 3 Dimensional Analysis of Surface Roughness- (1997)
    • Surface Finish of Aluminium Pipe by Ironing with Ultrasonic Vibration - Trial Construction of Experimental Apparatus and Preliminary Experiments - (1997)
  • YAMASAKI Susumu ID: 9000000694642

    Department of Surgical Oncology, National Cancer Center Hospital, Central (1996 from CiNii)

    Articles in CiNii:1

    • A Prospective Randomized Trial of the Preventive Effect of Pre-operative Transcatheter Arterial Embolization against Recurrence of Hepatocellular Carcinoma (1996)
  • YAMASAKI Susumu ID: 9000000695679

    Department of Surgery, Tochigi National Hospital (2006 from CiNii)

    Articles in CiNii:5

    • Effect of Heavy Alcohol Intake on Long-term Results after Curative Resection of Hepatitis C Virus-related Hepatocellular Carcinoma (1996)
    • Abdominal Pain in Patients with Resectable Pancreatic Cancer with Reference to Clinicopathologic Findings (2001)
    • Localized Nodular Idiopathic Retroperitoneal Fibrosis : Successful Treatment with Surgical Resection (1999)
  • YAMASAKI Susumu ID: 9000003822986

    Department of Mechanical Engineering for Production, Faculty of Engineering, Kyushu University (1991 from CiNii)

    Articles in CiNii:1

    • Shearing of Inclined Sheet Metals : Effect of Inclination Angle (1991)
  • YAMASAKI Susumu ID: 9000004519990

    Graduate School of Natural Science and Technology, Okayama University (2007 from CiNii)

    Articles in CiNii:3

    • An Application of NaraView to Reasonings for Distributed Logic Programs (2003)
    • The Architecture of Concurrent Modules under Situational Conditions (2006)
    • A Concurrent Construction of Module Sequences under Situation Conditions (2007)
  • YAMASAKI Susumu ID: 9000004801345

    Department of Computing and Information Technology, Okayama University (1995 from CiNii)

    Articles in CiNii:1

    • Control Problem of a Class of Pushdown Automata Based on Posets and Its Application to Resolution Deductions (1995)
  • YAMASAKI Susumu ID: 9000004802700

    Faculty of Engineering, Okayama University (1996 from CiNii)

    Articles in CiNii:1

    • An Abstraction of Fixpoint Semantics for Normal Logic Programs (1996)
  • 1 / 3
Page Top