Search Results1-20 of  51

  • 1 / 3
  • Susumu Yamasaki ID: 9000003822986

    Articles in CiNii:2

    • Shearing of Inclined Sheet Metals : Effect of Inclination Angle (1991)
    • General Stable Model Semantics and SLDNF Resolution with Non-Safe Rule for Abduction (1997)
  • 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:6

    • 帰納的プログラムから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

    Articles in CiNii:16

    • Non-Safe SLDNF Resolution and Least Fixpoint Semantics for General Logic Programs (1995)
    • Negation as Inconsistency and Double Negation Law Problem (1995)
    • Dissolution of Points in Dispute Based on Situation Theory Planning (1997)
  • 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: 9000004519990

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

    Articles in CiNii:3

    • An Application of Nara View 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)
  • YAMASAKI Susumu ID: 9000004803315

    Department of Computing and Information Technology, the Faculty of Engineering, Okayama University (1996 from CiNii)

    Articles in CiNii:1

    • Sequence Domains and Fixpoint Semantics for Logic Programs (1996)
  • YAMASAKI Susumu ID: 9000004805703

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

    Articles in CiNii:1

    • A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model (1999)
  • YAMASAKI Susumu ID: 9000004833644

    Department of Intelligence Computing and System, Graduate School of Natural Science and Technology, Okayama University (2003 from CiNii)

    Articles in CiNii:1

    • Semantics of Normal Goals as Acquisitors Caused by Negation as Failure (2003)
  • YAMASAKI Susumu ID: 9000004834994

    Department of Intelligence Computing and System, Graduate School of Natural Science and Technology (2004 from CiNii)

    Articles in CiNii:1

    • Negation as Failure through a Network (2004)
  • YAMASAKI Susumu ID: 9000014207064

    Hepatobiliary and Pancreatic Surgery Division, National Cancer Center Hospital (2008 from CiNii)

    Articles in CiNii:1

    • Alveolar echinococcosis in a metropolitan area resident (2008)
  • YAMASAKI Susumu ID: 9000021458417

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

    Articles in CiNii:1

    • Significance of systematic subsegmentectomy of the liver for hepatocellular carcinoma from the view point of the long-term result. (1990)
  • 1 / 3
Page Top