Home Advanced Search

Advanced Search - Page 1

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised
  • PDF
  • English
  • Year: 2022
  • Author: Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
Ordinal Analysis
  • PDF
  • English
  • Author: Toshiyasu Arai
Ordinal Analysis with an Introduction to Proof Theory
  • PDF
  • English
  • Year: 2020
  • Author: Arai, Toshiyasu
Proceedings of The 11th Asian Logic Conference
  • PDF
  • English
  • Year: 2011
  • Author: Toshiyasu Arai, Qi Feng, Byunghan Kim, Guohua Wu, Yue Yang (eds.)
Treatment Strategy for Unexplained Infertility and Recurrent Miscarriage
  • PDF
  • English
  • Year: 2018
  • Author: Keiji Kuroda, Jan J. Brosens, Siobhan Quenby, Satoru Takeda
Advances in Deep Foundations: International Workshop on Recent Advances of Deep Foundations (IWDPF07) 1-2 February 2007, Port and Airport Research Institute, Yokosuka, Japan
  • PDF
  • English
  • Year: 2007
  • Author: Yoshiaki Kikuchi, Jun Otani, Makoto Kimura, Yoshiyuki Morikawa
Approaches to Intelligence Agents: Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA’99 Kyoto, Japan, December 2–3, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Tadashige Iwao, Makoto Okada, Yuji Takada, Makoto Amamiya (auth.), Hideyuki Nakashima, Chengqi Zhang (eds.)
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2020
  • Author: Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
  • PDF
  • English
  • Year: 2009
  • Author: Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.)
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
  • PDF
  • English
  • Year: 2009
  • Author: Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.)
search